Search
Now showing items 1-3 of 3
La Tesis de Church-Turing y sus repercusiones epistemológicas
(Universidad Nacional de Córdoba, 1999-07)
Las pretensiones de este trabajo son modestas; Es el resultado de una exploración conjunta que hemos realizado en tomo del tratamiento que ha recibido la Tesis de Church-Turing por parte de lógicos, matemáticos, filósofos ...
Multivalencia y metalógica
(Universidad Nacional de Córdoba, 1997-11)
Se analizan las condiciones necesarias para que un sistema de lógica pueda operar como metalógica de otro sistema de lógica (o de sí mismo), según las exigencias de veritativo-funcionalidad y las condiciones impuestas por ...
Cómo demostrar en matemáticas
(Universidad Nacional de Córdoba, 1998-10)
En su libro sobre la teoría de conjuntos y la hipótesis del continuo, Paul J. Cohen (COHEN 1966, p2) se refiere a Brouwer en las siguientes palabras: " ... la escuela de Brouwer (lntuicionismo) sólo admitiría conjuntos ...