... : Antoni Bosch, 2006. ISBN 84-95348-23-3.• Enrique ALONSO. Sócrates en Viena: una biografía intelectual de Kurt Gödel. Barcelona: Montesinos, cop. 2007. ISBN 978-84-96831-33-9.• Douglas HOFSTADTER ...
... , el matemático no podría serrar la rama que le sustenta. Se sabe esto desde 1931, año en que Kurt Gódel demostró que existían, en toda proposición matemática lo bastante rica, proposiciones fuera ...
... leyes autoevidentes.Los trabajos realizados por Kurt Gödel en la década de 1930 apoyaron la doctrina ... problema. Los postulados formales de Hilbert y Gödel, el intuicionismo de...
... , el matemático no podría serrar la rama que le sustenta. Se sabe esto desde 1931, año en que Kurt Gódel demostró que existían, en toda proposición matemática lo bastante rica, proposiciones fuera ...
... forma definitiva, al menos tal y como la entendía Hilbert, por el matemático vienés Kurt Gödel, quien, con teorema de Gödel su teorema, no cierra totalmente la puerta a los intentos...
... : Historia del pensamiento. Madrid: Alianza Editorial, 2007. 282 pp. ISBN 978-84-206-6187-2. • Kurt Gödel, Obras completas. Madrid: Alianza Editorial, 2006. 470 pp. ISBN 84-206-4773-X. • Ciencia ...
... principales respuestas a la crisis, aunque la contribución decisiva vino de una dirección inesperada, cuando Kurt Gödel demostró en 1931 que un sistema formal no puede estar libre de contradicción ...
... Revista de libros, ISSN 1137-2249, Nº 39, 2000, págs. 16-17.• Eduardo ARROYO. “Kurt Gödel y el "círculo de Viena"”. En Razón española: Revista bimestral de pensamiento, ISSN 0212-5978, Nº. 166 ...
... los principios de axiomatización y descripción de los problemas suministrados por los matemáticos David Hilbert y Kurt Godel. El siglo XX asistió asimismo al afianzamiento de las ciencias humanas ...
... práctica, se terminó por indicar si en un determinado teorema se había empleado o no el axioma de elección.Kurt Gödel declaró en el siglo XX que un sistema matemático que fuera suficiente únicamente ...
... a la no contradicción de la aritmética y pretenden hacer lo mismo con toda la matemática, habiendo demostrado Kurt Gödel en 1931 que es imposible probar la no contradicción de la aritmética a partir ...
... ; estos límites son, fundamentalmente, los expresados en el teorema de la incompletitud de Kurt Gödel y en el teorema de indecisoriedad de Alonzo Church (n. 1903); según el primero, si una teoría ...
2.472 palabras
Este sitio web utiliza cookies, propias y de terceros con la finalidad de obtener información estadística en base a los datos de navegación. Si continúa navegando, se entiende que acepta su uso y en caso de no aceptar su instalación deberá visitar el apartado de información, donde le explicamos la forma de eliminarlas o rechazarlas.
Aceptar |
Más información
