Kurt Gödel es, sin duda, uno de los más importantes matemáticos del S.XX. En 1970 distribuyó entre sus colegas de profesión una prueba en la cuál mediante argumentaciones lógico-matemáticas probó la existencia de Dios. Esta es su demostración:
|
etiquetas: lógica , san anselmo , teoremas de incompletitud 
