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

“La meilleure condition de travail, c'est les vacances.”

― Jean-Marie Gourio

“Il n'y a pas de plaisir comparable à celui de rencontrer un vieil ami, excepté peut-être celui d'en faire un nouveau.”

― Rudyard Kipling

“Le lecteur de la poésie n'analyse pas, il fait le serment de l'auteur, son proche, de demeurer dans l'intense.”

― Yves Bonnefoy

Source:
Lieux et destins de l'image: (ed. 1999) - ISBN: 9782020361385

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

― Pierre Choderlos de Laclos

Source:
Les Liaisons dangereuses

“Celui qui fait une bête de lui-même se débarasse de la douleur d'être humain.”

― Samuel Johnson

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

“Au théâtre, par exemple, on fut fatigué de toutes ces scènes journalières, de ces incidents de ménage et de mœurs domestiques, de ces représentations sentimentales du cœur humain données comme l'expression de la vérité naturelle.”

— Georg Wilhelm Friedrich Hegel

Auteurs populaires

Autres auteurs populaires

Thèmes populaires