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

“Un homme digne de ce nom ne fuit jamais. Fuir, c'est bon pour les robinets.”

“Les gens sont bizarres. Volez cinq piastres et vous êtes un voleur à la petite semaine. Volez-en des milliers et vous êtes soit l'Etat soit un héros. (T. Pratchett, Timbré, L'Atalante 2007)”

― Terry Pratchett

Source:
Les annales du Disque-Monde, Tome 30 : Timbré

“C'est parfois trop demander, vouloir être aimé pour soi-même.”

“La méditation. Elle force à réfléchir quiconque a la foi et même celui qui ne l'a pas.”

― Victor-Lévy Beaulieu

“L'essentiel est de lire beaucoup. N'importe quoi. Ce qu'on a envie de lire. Le tri se fait après.”

― René Barjavel

Source:
La Charrette bleue

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

“C'est à l'animus qu'appartiennent les projets et les soucis, deux manières de n'être pas présent à soi-même. À l'anima appartient la rêverie qui vit le présent des heureuses images.”

— Gaston Bachelard

Auteurs populaires

Autres auteurs populaires

Thèmes populaires