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

“Il n'est qu'une humiliation pour la femme, l'injustice.”

― Jean Giraudoux

Source:
Le théâtre complet de Jean Giraudoux: Intermezzo

“Etre vieux, c'est être jeune depuis plus longtemps que les autres.”

― Philippe Geluck

Source:
Le Chat, Tome 16 : Le chat, acte XVI

“L'histoire mondiale est le progrès dans la conscience de la liberté.”

― Georg Wilhelm Friedrich Hegel

Source:
Introduction à la philosophie de l'histoire, G.W.F. Hegel, éd. Livre de poche, collection: Les classiques de la philosophie, 2011 (ISBN 978-2253088745), p. 61 - La Philosophie de l'histoire, Cours 1822-1831

“Il n'est qu'une humiliation pour la femme, l'injustice.”

― Jean Giraudoux

Source:
Le théâtre complet de Jean Giraudoux: Intermezzo

“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)

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

“Epouser sa maîtresse, c'est à se demander s'il ne vaut pas mieux épouser celle des autres.”

— Alfred Capus

Auteurs populaires

Autres auteurs populaires

Thèmes populaires