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

Qu'est-ce que la richesse ? Il en est pour qui une vieille chemise est déjà une fortune. Un autre se trouve pauvre avec dix millions. Au fond, il ne s'agit que d'une situation.

Auteurs populaires