Crítica: revista hispanoamericana de filosofía, المجلد 111Instituto de Investigaciones Filosóficas, Universidad Nacional Autónoma de México, 2005 |
من داخل الكتاب
النتائج 1-3 من 4
الصفحة 6
... calculable en forma efectiva si , para todo entero positivo m , existe un entero positivo n tal que F ( m ) = n es ... calculable en forma efectiva cuando n es dada ; Eni es calculable en forma efectiva cuando n y las expresiones Enj , j ...
... calculable en forma efectiva si , para todo entero positivo m , existe un entero positivo n tal que F ( m ) = n es ... calculable en forma efectiva cuando n es dada ; Eni es calculable en forma efectiva cuando n y las expresiones Enj , j ...
الصفحة 7
... calculable en forma efectiva , que el conjunto completo de reglas ( si es infinito ) sea numerable en forma efectiva ... calculable en forma efectiva identificándola con la noción de una función recursiva de enteros positivos ( o de una ...
... calculable en forma efectiva , que el conjunto completo de reglas ( si es infinito ) sea numerable en forma efectiva ... calculable en forma efectiva identificándola con la noción de una función recursiva de enteros positivos ( o de una ...
الصفحة 11
... calculable por el agente ideal es calculable por una máquina de Turing . De aquí procede a ase- verar que toda función computable en forma efectiva es computable por el agente ideal y , por lo tanto , es computable por una máquina de ...
... calculable por el agente ideal es calculable por una máquina de Turing . De aquí procede a ase- verar que toda función computable en forma efectiva es computable por el agente ideal y , por lo tanto , es computable por una máquina de ...
طبعات أخرى - عرض جميع المقتطفات
عبارات ومصطلحات مألوفة
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