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

“Les sots mettent du temps pour comprendre. Les intelligents pour ne pas comprendre.”

― Georges Perros

“Nous ne tombons pas dans l'erreur de penser que si seulement les gens faisaient ceci ou cela, le monde deviendrait parfait. La perfection est pour les individus, pris chacun un par un ; nous ne déterminons pas leur façon de vivre.”

― Marion Zimmer Bradley

Source:
La Romance de Ténébreuse, tome 3

“[...] les êtres qui ont vraiment été importants dans notre vie peuvent se compter sur les doigts d'une seule main, et, bien souvent, cette main se révolte contre la perversité que nous mettons à vouloir consacrer toute une main à compter ces êtres, là où, si nous sommes sincères, nous nous en tirerions probablement sans un seul doigt.”

― Thomas Bernhard

Source:
Le Neveu de Wittgenstein (1982), Thomas Bernhard (trad. Jean-Claude Hémery), éd. Gallimard, coll. Du monde entier, 1985 (ISBN 2-07-070200-6), p. 108

“La stratégie athénienne grimpe au sommet lorsque les choses se passent bien. Mais la mentalité spartiate s'empare du trône lorsque le monde tourne mal.”

― Howard Bloom

Source:
(fr) Le principe de Lucifer : le cerveau global, Howard Bloom (trad. Aude Flouriot et Carole Hennebault), éd. Le jardin des livres, 2003 (ISBN 2-914569-15-7), p. 306 - Le principe de Lucifer : le cerveau global, 2003

“Oh ! Que la peine est douloureuse, quand elle s'appuie sur le remords !”

― Pierre Choderlos de Laclos

Source:
Les Liaisons dangereuses

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.

Mathématicien

Logicien

Personnalité américaine

Personnalité autrichienne

Naissance en 1906

Naissance le 28 avril

Citation du jour

“L'art de plaire semble bien simple. Il consiste simplement en deux choses : ne point parler de soi aux autres et leur parler toujours d'eux-mêmes.”

— Frères Goncourt

Auteurs

Thèmes