Crítica: revista hispanoamericana de filosofía, المجلد 111Instituto de Investigaciones Filosóficas, Universidad Nacional Autónoma de México, 2005 |
من داخل الكتاب
النتائج 1-3 من 11
الصفحة 9
... Gödel no vio , en los conceptos de definibilidad lambda o recursividad , elementos suficientes para interpretar la noción de computabilidad efectiva . Esto lo sabemos por una carta de Alonzo Church , en la cual escribe : [ Gödel ] ...
... Gödel no vio , en los conceptos de definibilidad lambda o recursividad , elementos suficientes para interpretar la noción de computabilidad efectiva . Esto lo sabemos por una carta de Alonzo Church , en la cual escribe : [ Gödel ] ...
الصفحة 10
... Gödel encuentra la profundización requerida.12 Por su parte , Church ( des- pués de la formulación de sus tesis ) concuerda con la apreciación de Gödel . Para él , el análisis de Turing establece la conexión de compu- tabilidad efectiva ...
... Gödel encuentra la profundización requerida.12 Por su parte , Church ( des- pués de la formulación de sus tesis ) concuerda con la apreciación de Gödel . Para él , el análisis de Turing establece la conexión de compu- tabilidad efectiva ...
الصفحة
... Gödel sous la responsabilité de Julie Allard et Benoît Frydman JAAKKO HINTIKKA Kurt Gödel : an Introduction JAN WOLÉNSKI Gödel , Tarski and Truth JUDSON WEBB Gödel's Encounters with Formalism , Intuition , and Kant PANU RAATIKAINEN On ...
... Gödel sous la responsabilité de Julie Allard et Benoît Frydman JAAKKO HINTIKKA Kurt Gödel : an Introduction JAN WOLÉNSKI Gödel , Tarski and Truth JUDSON WEBB Gödel's Encounters with Formalism , Intuition , and Kant PANU RAATIKAINEN On ...
طبعات أخرى - عرض جميع المقتطفات
عبارات ومصطلحات مألوفة
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