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

“Le 1er verre pour la santé ; le 2e verre pour l'amour et le plaisir ; le 3e verre pour le sommeil.”

― Jean-Claude Rodet

Source:
Vins biologiques, 2012

“L'alcool tue lentement. On s'en fout. On n'est pas pressés.”

― Georges Courteline

“Ce n'est qu'au prix d'une ardente patience que nous pourrons conquérir la cité splendide qui donnera la lumière, la justice et la dignité à tous les hommes. Ainsi la poésie n'aura pas chanté en vain.”

― Arthur Rimbaud

“Tandis qu'un animal se tapit dans le noir pour mourir, un homme cherche la lumière. Il veut mourir chez lui, dans son élément, et les ténèbres ne sont pas son élément.”

― Graham Greene

“Les gens n'aiment pas parler mais, sans aucun doute, ils aiment être écoutés.”

― Donato Carrisi

Source:
L'Écorchée

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

“Ce qui infirme nos systèmes d'éducation, c'est qu'ils s'adressent aux médiocres, à cause du nombre.”

— Raymond Radiguet

Auteurs populaires

Autres auteurs populaires

Thèmes populaires