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

“Plus on se sent pécheur, plus on est chrétien.”

“Y a des choses qui devraient rester comme elles sont. Faudrait pouvoir les planquer dans une de ces grandes vitrines et plus y toucher. Je sais que c'est impossible mais, bon, c'est bien dommage.”

― J. D. Salinger

Source:
L'Attrape-Coeurs

“La société n'est qu'un spectacle. Ce qu'on est convenu d'appeler l'ordre social n'en est que la distribution des rôles.”

― Nicolas Grimaldi

Source:
Le Travail. Communion et excommunication, Nicolas Grimaldi, éd. PUF, coll. Questions, 1998 (ISBN 2-13-048999-0), p. 85

“L'indépendance, c'est comme un pont : avant, personne n'en veut, après, tout le monde le prend.”

― Félix Leclerc

“Le savoir, c'est le pouvoir. Mais le savoir représente parfois un pouvoir trop grand. Parfois, même une grande vérité doit être sacrifiée pour le bien de tous.”

Source:
Titanicus

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

“On s'accoutume à tout dans l'abondance, il n'y a guère de dégoût dont elle ne console.”

— Pierre Carlet de Chamblain de Marivaux

Auteurs populaires

Autres auteurs populaires

Thèmes populaires