Kurt Gödel (2 citations)

“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

Source:
Sur les propositions formellement indécidables des "Principia Mathematica" et des systèmes apparentés

“C'est en 1899 seulement que l'arithmétique des nombres cardinaux fut axiomisée par le mathématicien italien Giuseppe Peano. Peano pose cinq axiomes, formulés à l'aide de trois termes non définis, mais supposés connus. Ces trois termes sont : "nombre", "zéro" et "successeur immédiat de". On peut exposer ces axiomes de la manière suivante :”

― Kurt Gödel

Source:
La démonstration de Gödel

Citations d'autres auteurs

“Ce qui attend les hommes après la mort, ce n'est ni ce qu'ils espèrent ni ce qu'ils croient.”

― Héraclite d'Éphèse

“Les hommes qui passent pour être durs sont de fait beaucoup plus sensibles que ceux dont on vante la sensibilité expansive. Ils se font durs parce que leur sensibilité, étant vraie, les fait souffrir.”

― Benjamin Constant

Source:
Journal intime de Benjamin Constant: et lettres à sa famille et ses amis (ed. 1895)

“La nuit quand on ne dort pas les soucis se multiplient, ils enflent, s'amplifient, à mesure que l'heure avance les lendemains s'obscurcissent, le pire rejoint l'évidence, plus rien ne paraît possible, surmontable, plus rien ne paraît tranquille.”

― Delphine de Vigan

Source:
No et moi

“Il semble à l'envieux que ce qu'on accorde de mérite aux autres est retranché du sien.”

― Jean Antoine Petit-Senn

“Ainsi commence le fascisme. Il ne dit jamais son nom, il rampe, il flotte, quand il montre le bout de son nez, on dit : C'est lui ? Vous croyez ? Il ne faut rien exagérer ! Et puis un jour on le prend dans la gueule et il est trop tard pour l'expulser.”

― Françoise Giroud

Kurt Gödel

Wikimedia Commons

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.

Personnalité américaine

Personnalité autrichienne

Naissance en 1906

Naissance le 28 avril

Citation du jour

“On dit que les germes de nos actions futures sont en nous, mais je crois que pour ceux qui plaisantent dans la vie, les germes sont enfouis dans un meilleur terreau, sous une couche plus épaisse d'engrais.”

— Ernest Hemingway

Auteurs populaires

Autres auteurs populaires

Thèmes populaires