Crítica: revista hispanoamericana de filosofía, المجلد 111Instituto de Investigaciones Filosóficas, Universidad Nacional Autónoma de México, 2005 |
من داخل الكتاب
النتائج 1-3 من 15
الصفحة 11
... función computable en forma efectiva es computable por el agente ideal y , por lo tanto , es computable por una máquina de Turing , esto es : ( T ) Toda función computable es calculable por una máquina de Turing Esta tesis , llamada la ...
... función computable en forma efectiva es computable por el agente ideal y , por lo tanto , es computable por una máquina de Turing , esto es : ( T ) Toda función computable es calculable por una máquina de Turing Esta tesis , llamada la ...
الصفحة 29
... computable y sea T - computable a la vez ( en la medida en que su extensión sea el dominio de una fun- ción T ... función cuyo dominio es la extensión del predicado ( o poseer el concepto computable conectado con tal algoritmo ) y saber ...
... computable y sea T - computable a la vez ( en la medida en que su extensión sea el dominio de una fun- ción T ... función cuyo dominio es la extensión del predicado ( o poseer el concepto computable conectado con tal algoritmo ) y saber ...
الصفحة 34
... Computabilidad es un atributo de funciones : una función es com- putable si y sólo si existe un algoritmo para determinar ƒ ( n ) a partir de n . Finalmente , una función que es computable en forma efecti- va es una función computable ...
... Computabilidad es un atributo de funciones : una función es com- putable si y sólo si existe un algoritmo para determinar ƒ ( n ) a partir de n . Finalmente , una función que es computable en forma efecti- va es una función computable ...
طبعات أخرى - عرض جميع المقتطفات
عبارات ومصطلحات مألوفة
agente ideal algoritmo Alonzo Church ambos enfoques argumento base Bricmont calculable capacidades cognitivas caracterización ciencia científico comportamiento irreversible computabilidad efectiva Computability computacional concepto referencial conceptos computables conceptos de equilibrio conceptualismo realista condiciones correspondiente dado define determinado diferentes dinámica distinción teórico/observacional ejemplo ejercicio del concepto elevado número enfoque de Gibbs enfoques de Boltzmann entero positivo entidades teóricas entropía de Gibbs entropía termodinámica ergodicidad espacio evolución irreversible evoluciona extensional formulación función computable función de fase funciones numéricas gibbsiana Gödel grados de libertad Harré heurística inicial inobservables irreversibilidad Journal Kurt Gödel Laudan Lebowitz lenguaje Logic macrovariables máquina de Turing Maxwell mecánica estadística microestados microevolución modelo Kac mundo noción de computabilidad número de grados observables operaciones atómicas perspectiva posible posición predicado Press probabilidad problema proceso punto representativo racionalidad recursividad región accesible resultados sistemas del ensemble teorema de Liouville teoría teoría ergódica términos teóricos termodinámica tesis de Church Theory valor variables macroscópicas