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

“Fuyez la manie ancienne des gouvernements de vouloir trop gouverner ; laissez aux individus, laissez aux familles le droit de faire ce qui ne nuit point à autrui ; laissez aux communes le pouvoir de régler elles-mêmes leurs propres affaires, en tout ce qui ne tient point essentiellement à l'administration générale de la République.”

― Maximilien de Robespierre

Source:
Robespierre textes choisis (1957), Jean Poperen, éd. Éditions sociales, 1974, t. 2 (août 1792-juillet 1793), p. 149 - Discours prononcé à l'assemblée nationale sur le nouveau gouvernement représentatif, 10 mai 1793

“La sincérité est de verre ; la discrétion est de diamant.”

― André Maurois

“RUDENZ : Va-t'en, chimère arrogante qui m'ensorcèles ! Je trouverai le bonheur chez moi. Ici, où mon enfance a fleuri.”

― Friedrich von Schiller

Source:
Guillaume Tell

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

― Pierre Choderlos de Laclos

Source:
Les Liaisons dangereuses

“Les lieux sont la mémoire, et bien plus : les lieux survivent à la mémoire.”

― David Foenkinos

Source:
Les Souvenirs

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

“Qu'est-ce que la richesse ? Il en est pour qui une vieille chemise est déjà une fortune. Un autre se trouve pauvre avec dix millions. Au fond, il ne s'agit que d'une situation.”

— Franz Kafka

Auteurs populaires

Autres auteurs populaires

Thèmes populaires