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 définition du possible est qu'il peut ne pas avoir lieu.”

― Jacques Lacan

“Il faut être nomade, traverser les idées comme on traverse les villes et les rues.”

― Francis Picabia

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

― Guillaume Musso

Source:
La fille de papier

“Il faudrait comprendre que les choses sont sans espoir et être pourtant décidé à les changer.”

― Francis Scott Fitzgerald

Source:
Gatsby le magnifique

“Les idiots ignorent la complexité. Les pragmatiques en souffrent. Certains parviennent à l'éviter. Les génies la suppriment”

― Alan Perlis

Source:
(en)« Epigrams on Programming », Alan J. Perlis (trad. Philippe Guglielmetti, Johann Dréo), SIGPLAN Notices (ISSN 0362-1340), vol. 17 nº 9, septembre 1982, p. 10 (lire en ligne) - Philosophie

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

“Souvent tapageuse, parfois insaisissable, la vie politique et son rituel quotidien obéissent à une mécanique bien huilée dans laquelle même les grincements sont savamment orchestrés.”

— Jacques Mailhot

Auteurs populaires

Autres auteurs populaires

Thèmes populaires