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

L'art, c'est déjà de la publicité. La Joconde aurait pu servir de support à une marque de chocolat, à Coca-Cola ou à tout autre chose.

Auteurs populaires