Citation de Kurt Gödel



Citation en image:



On peut démontrer rigoureusement que dans tout système formel consistant contenant une théorie des nombres finitaire relativement développée, il existe des propositions arithmétiques indécidables et que, de plus, la consistance d'un tel système ne saurait être démontrée à l'intérieur de ce système.  - Kurt Gödel
Autres citations de Kurt Gödel
Citations d'autres auteurs
Kurt Gödel
Kurt Gödel


Naissance: 28 avril 1906

Décès: 14 janvier 1978 (à 71 ans)

Biographie: Kurt Gödel est un logicien et mathématicien austro-américain.

Citation du jour

Je suis vraiment heureux d'être né garçon plutôt que fille parce que c'est plus rare pour les garçons de se faire violer, sauf s'ils sont catholiques ce que nous ne sommes pas.

Auteurs populaires