Kurt Gödel

fou 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 demostrar ni refutar. També va provar que la hipòtesi del continu no es pot refutar del conjunt d'axiomes de la teoria de conjunts suposant que aquests axiomes són consistents.

Es pot argumentar que Kurt Gödel és el lògic més important del i un dels tres lògics més grans de la història (juntament amb Aristòtil i Gottlob Frege). Proporcionat per Wikipedia