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

“Il a été décidé qu'on reparlerait, dès les petites classes, d'éducation civique, d'honnêteté, de courage, de refus du racisme et d'amour de la République. Il est dommage que l'école ne soit fréquentée que par les enfants.”

― André Frossard

“Il n'existe rien de plus efficace qu'une rengaine, pour obtenir la crétinisation et la docilité des masses, comme des individus.”

― Francis Blanche

“La perspective de profits démesurés incite les gens à surestimer leurs propres aptitudes.”

― Cormac McCarthy

Source:
Non, ce pays n'est pas pour le vieil homme, Cormack McCarthy, éd. Éditions de l'Olivier, 2006, p. 239

“Intéresse-toi à la vie comme tu la vois, les gens, les choses, la littérature, la musique - le monde est si riche, il vibre grâce à ses trésors, de ces âmes belles et de gens intéressants. Oublie-toi.”

― Henry Miller

“Jésus a dit : « Si tu mets au monde ce qui est en toi, ce que tu mets au monde te sauvera. Si tu ne mets pas au monde ce qui est en toi, ce que tu ne mets pas au monde te détruira ». (Évangile selon Philippe).”

― Jim Harrison

Source:
De Marquette à Veracruz

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

“Il n'y a pas comme les femmes laides pour trouver les autres affreuses.”

— Paul Léautaud

Auteurs populaires

Autres auteurs populaires

Thèmes populaires