El Primer Teorema afirma que la Lógica de cuantores para individuos es completa. Y por completud se entiende que a partir de ...

En los dos artículos anteriores escribí sobre las paradojas matemáticas y de cómo éstas resistieron por años hasta que pudieron ser justificadas desde el punto matemático. En el caso de la paradoja ...

A finales de los años 70 Gödel argumentó que, por definición, «no puede existir nada más grande de un ser supremo», y propuso mediante argumentaciones lógico-matemático la existencia de Dios Los ...

Ignoro si hay un lugar reservado en el Paraíso -en el más que dudoso caso de que éste exista- para las o los cónyuges de los científicos. Pero si hay tal lugar, sin duda que Adele Gödel debe residir ...

El teorema de la incompletud de Gödel para los sistemas matemáticos se puede extender a los hechos consuetudinarios que acontecen en la rúa con un ejemplo tal que así: no es posible demostrar que la ...

Santiago. Los científicos Christoph Benzmüller, de la Universidad Libre de Berlín, y Bruno Woltzenlogel, de la Universidad Técnica de Viena, han probado informáticamente el teorema de Gödel, ...

Euclides basó toda la geometría griega en cinco postulados: 1. Por dos puntos solo pasa una recta.2. Un segmento se puede prolongar indefinidamente.3. Dados un punto y un radio, solo se puede trazar ...

E l teorema de incompletitud de Gödel es uno de los resultados más profundos y paradójicos de la lógica matemática. Es también, quizá, el teorema que ha ejercido más fascinación en ámbitos alejados de ...

Dos científicos europeos probaron informáticamente el teorema de Gödel desarrollado a finales del siglo pasado por el matemático austríaco Kurt Gödel, que concluía que en base a los principios de la ...

Un cadáver, una habitación cerrada, dos sospechosos. No es el comienzo de una novela policiaca cuyo protagonista intenta demostrar que no existe el crimen perfecto, sino la metáfora elegida por el ...