Kurt Gödel (2 citations)

“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

“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 vieux libraire m'avait toujours répété que les livres avaient une âme, l'âme de celui qui les avait écrits et de ceux qui les avaient lus et avaient rêvé avec eux.”

― Carlos Ruiz Zafón

Source:
Le jeu de l'Ange

“(...), l'avenir importait peu et le passé ne refermait qu'une seule leçon de sagesse : l'amour était une erreur dangereuse et son complice, l'espoir, une illusion perfide.”

― Khaled Hosseini

Source:
Mille soleils splendides

“Je cherche le silence et la nuit pour pleurer”

― Pierre Corneille

Source:
Chimène - Le Cid

“Le lecteur de la poésie n'analyse pas, il fait le serment de l'auteur, son proche, de demeurer dans l'intense.”

― Yves Bonnefoy

Source:
Lieux et destins de l'image: (ed. 1999) - ISBN: 9782020361385

“Le code pénal est ce qui empêche les pauvres de voler les riches et le code Civil ce qui permet aux riches de voler les pauvres.”

― Emmanuel Carrère

Source:
D'autres vies que la mienne, 2009

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.

Personnalité américaine

Personnalité autrichienne

Naissance en 1906

Naissance le 28 avril

Citation du jour

“Lui se sentait un chevalier parmi d'autres, attendant le jour où l'aventure ferait appel à ses talents.”

— Maxime Chattam

Auteurs populaires

Autres auteurs populaires

Thèmes populaires