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

“Dans l'établissement de bains, deux femmes très belles et sévèrement maquillées avaient retenu une heure auparavant la cabine la plus luxueuse et, comme elles s'attendaient à ne pas être seules, il avait été convenu qu'au premier signal (en l'espèce une fleur japonaise, de dimensions inaccoutumées, qui s'ouvrirait dans un verre d'eau) un alezan scellé se tiendrait derrière la porte.”

― André Breton

Source:
Poisson soluble (1924), André Breton, éd. Gallimard, coll. Poésie, 1996 (ISBN 2-07-032917-8), partie 18, p. 76 - Prose poétique

“Je suis seule comme Adam. Ça fait du mal dedans. L'arbre fait-il du bruit quand il tombe dans la forêt vide?”

― Amanda Sthers

Source:
Les érections américaines, Amanda Sthers, éd. Flammarion, 2013, p. 24 - Les érections américaines (2013)

“Je cherche le silence et la nuit pour pleurer”

― Pierre Corneille

Source:
Chimène - Le Cid

“La jalousie est mille fois plus terrible que la faim, parce que c'est une faim spirituelle.”

― Miguel de Unamuno

“La perspective de profits démesurés incite les gens à surestimer leurs propres aptitudes.”

― Cormac McCarthy

Source:
Non, ce pays n'est pas pour le vieil homme, Cormack McCarthy, éd. Éditions de l'Olivier, 2006, p. 239

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

“- L'art de la manigance est une compétence liée à mon sexe, non à l'enseignement des Historiens,”

— Pierre Bottero

Auteurs populaires

Autres auteurs populaires

Thèmes populaires