Crítica: revista hispanoamericana de filosofía, المجلد 111Instituto de Investigaciones Filosóficas, Universidad Nacional Autónoma de México, 2005 |
من داخل الكتاب
النتائج 1-3 من 3
الصفحة 4
... Alonzo Church y Alan Turing y , en menor grado , las de Post y Gödel . Esto obedece a que los elementos implícitos en caracterizaciones posteriores de computabilidad efectiva ya están comprendidos en las conceptualiza- ciones de esos ...
... Alonzo Church y Alan Turing y , en menor grado , las de Post y Gödel . Esto obedece a que los elementos implícitos en caracterizaciones posteriores de computabilidad efectiva ya están comprendidos en las conceptualiza- ciones de esos ...
الصفحة 5
... Alonzo Church , Alan Turing , Emil Post y Kurt Gödel . Las caracterizacio- nes de estos autores , sobre todo las de Church y Turing , forman la base de conceptualizaciones de computabilidad efectiva posteriores , las cuales no difieren ...
... Alonzo Church , Alan Turing , Emil Post y Kurt Gödel . Las caracterizacio- nes de estos autores , sobre todo las de Church y Turing , forman la base de conceptualizaciones de computabilidad efectiva posteriores , las cuales no difieren ...
الصفحة 9
... Alonzo Church , en la cual escribe : [ Gödel ] consideraba totalmente insatisfactoria mi propuesta de que la definibilidad lambda pudiera ser tomada como una definición [ de cal- culabilidad efectiva ] [ ... ] ; más tarde se le ocurrió ...
... Alonzo Church , en la cual escribe : [ Gödel ] consideraba totalmente insatisfactoria mi propuesta de que la definibilidad lambda pudiera ser tomada como una definición [ de cal- culabilidad efectiva ] [ ... ] ; más tarde se le ocurrió ...
طبعات أخرى - عرض جميع المقتطفات
عبارات ومصطلحات مألوفة
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