Crítica: revista hispanoamericana de filosofía, المجلد 111Instituto de Investigaciones Filosóficas, Universidad Nacional Autónoma de México, 2005 |
من داخل الكتاب
النتائج 1-3 من 13
الصفحة 7
... Church sostiene : Si el sistema ha de servir para todos los propósitos para los cuales se intenta que sirva un ... tesis de Church , la cual se presenta en forma de definición y como una especie de reconstrucción racional ( en el sentido ...
... Church sostiene : Si el sistema ha de servir para todos los propósitos para los cuales se intenta que sirva un ... tesis de Church , la cual se presenta en forma de definición y como una especie de reconstrucción racional ( en el sentido ...
الصفحة 8
... tesis mediante el llamado teorema nor- mal de Kleene , interpretando como recursivos los pasos resultantes de la aplicación de un procedimiento efectivo ; esto es , como el re- sultado de aplicar reglas recursivas . Church tenía la idea ...
... tesis mediante el llamado teorema nor- mal de Kleene , interpretando como recursivos los pasos resultantes de la aplicación de un procedimiento efectivo ; esto es , como el re- sultado de aplicar reglas recursivas . Church tenía la idea ...
الصفحة 13
... tesis de Church constituye , para él , una hipótesis empírica sobre esas mismas capacidades y critica a Church por ver su tesis como una definición , pues " esconde el hecho de que se ha logrado un descubrimiento fundamental en las ...
... tesis de Church constituye , para él , una hipótesis empírica sobre esas mismas capacidades y critica a Church por ver su tesis como una definición , pues " esconde el hecho de que se ha logrado un descubrimiento fundamental en las ...
طبعات أخرى - عرض جميع المقتطفات
عبارات ومصطلحات مألوفة
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