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

“L'amitié est certes le plus doux des baumes aux plaies des amours décues.”

― Jane Austen

Source:
Northanger Abbey

“La nuit quand on ne dort pas les soucis se multiplient, ils enflent, s'amplifient, à mesure que l'heure avance les lendemains s'obscurcissent, le pire rejoint l'évidence, plus rien ne paraît possible, surmontable, plus rien ne paraît tranquille.”

― Delphine de Vigan

Source:
No et moi

“Tous les hommes qui dans l'histoire, ont eu une action réelle sur l'avenir, avaient les yeux fixés sur le passé.”

― Gilbert Keith Chesterton

“Je suis pleinement favorable au mariage gay, mais seulement entre politiciens de gauche. Tout ce qui peut contribuer à leur non-reproduction est un bienfait pour tous !”

― Jean d'Ormesson

Source:
Mariage gay, Jean d'Ormesson, éd. francepresseinfos.com, 2013, p..

“L'ingratitude attire les reproches, comme la reconnaissance attire de nouveaux bienfaits.”

― Marie de Rabutin-Chantal (marquise de Sévigné)

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

“[Sur l'administration] Entre les gros chefs centralisés, suintant du fond de leur carrière, les prétendants déconcentrés qui se tapent les barreaux de l'échelle, et la ribambelle de décentralisés, indépendants pour faire joli, on se tord les tripes pour un rien.”

— Loïc Decrauze

Auteurs populaires

Autres auteurs populaires

Thèmes populaires