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

“Un escalier de ministère est un endroit où des gens qui arrivent en retard croisent des gens qui partent en avance.”

― Georges Clemenceau

“Pour réparer la perte du temps passé, il faut bien employer le présent, et ne souhaiter l'avenir que pour en faire un bon usage.”

― Antoine Gombaud, chevalier de Méré

“L'humour est à l'amour tel que l'âme à l'humeur Ombre sur l'abat-jour voilée par l'allumeur Et jour à contre-jour violée par l'amuseur.”

― Léon-Paul Fargue

“Depuis les temps les plus reculés, nous voyons, chaque fois que l'humanité fait un grand pas en avant, qu'elle le doit à des individus ; et presque toujours, ces individus rencontrent une opposition farouche de la société.”

― Bertrand Russell

“Sur mes cahiers d'écolier, sur mon pupitre et les arbres, sur le sable et la neige, j'écris ton nom, Liberté.”

― Paul Éluard

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

“Il est stupide de s'attrister à cause de la perte d'une compagnie : nous pouvions ne jamais rencontrer cette personne, nous pouvons donc nous en passer.”

— Cesare Pavese

Auteurs populaires

Autres auteurs populaires

Thèmes populaires