Citation de Kurt Gödel

“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

Citation en image:

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

Autres citations de Kurt Gödel

“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

“Je sais que dans la vie rien n'est jamais acquis, que rien n'est jamais promis.”

― Guillaume Musso

Source:
La fille de papier

“La solitude c'est cette pute de vie qui vous croise un matin, vous baise toute la nuit, puis vous fait payer le prix du voyage par le retour à la case départ, le néant.”

― Damien Saez

“Or j'ai du mal à me débarrasser des problèmes. Je dirais même que c'est mon problème. Je prends tout à cœur, je me sens toujours concernée. Trop.”

― Gilles Legardinier

Source:
Et soudain tout change

“Pour que l'égalité humaine soit à jamais écartée, pour que les grands, comme nous les avons appelés, gardent perpétuellement leurs places, la condition mentale dominante doit être la folie dirigée.”

― George Orwell

Source:
1984

“Ceux qui n 'ont rien ne cesse de se deplacer, comme si leur sort pouvait etre meilleur ailleurs.Ils preferent ignorer qu'au terme du voyage ils vont retrouver sous une nouvelle forme le vieux probleme, ce membre de la famille qu'on redoute d embrasser.”

― Markus Zusak

Source:
La Voleuse de livres

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.

Citation du jour

“Une fois que vous comprenez comment écrire un programme, trouvez quelqu'un d'autre pour l'écrire.”

— Alan Perlis

Auteurs populaires

Autres auteurs populaires

Thèmes populaires