Kurt Gödel
De Viquipèdia
Kurt Gödel (28 d'abril de 1906 - 14 de gener de 1978) era un matemàtic austríac-americà, un lògic profund que va desenvolupar el Teorema d'incompletesa, afirmant que qualsevol sistema axiomàtic consistent prou potent per descriure l'aritmètica dels enters permet proposicions (sobre enters) que no es poden provar ni refutar. També va produir una feina celebrada sobre la Hipòtesi del Continu, en què demostrà que no es pot refutar del conjunt d'axiomes de teoria de conjunts i suposant que aquests axiomes són consistents.
Es pot argumentar que Kurt Gödel és el més gran lògic del segle XX i un dels tres lògics més grans de la Història (formant un triunvirat lògic amb Aristòtil i Gottlob Frege).
A principis dels anys setanta, Gödel, que era profundament religiós, va fer circular entre els seus amics una elaboració de la prova ontològica de Gottfried Leibniz que ara es coneix com la demostració ontològica de Gödel.
