Gödel et le théorème d'incomplétude

Cours de Méthodologie (outil d'analyse), niveau Lycée, sur Gödel et le théorème d'incomplétude.

Extrait :

Gödel est considéré comme le plus grand logicien du XX° siècle, peut-être le plus grand depuis qu'Aristote a « ouvert » la logique avec l'Organon, les analytiques etc.
Ses travaux interviennent en liaison avec le (fameux) Cercle de Vienne (Wittgenstein, Carnap etc.) dans le champ ouvert par le « programme d'Hilbert », célèbre mathématicien, sans doute aussi le plus grand du siècle avec (Henri Poincaré), cousin de l'homme politique qui , en 1900, à l'occasion d'un congrès à Paris avait dressé le champ des objectifs à atteindre, et notamment « prouver la consistance des mathématiques), par exemple que ces dernières sont non contradictoires.

La démonstration du théorème est elle-même d'une fabuleuse logique, le codage d'une phrase (...)

18 téléchargements

Noter ce document

-- / 20
18 téléchargements

Il faut être inscrit pour télécharger un document

Crée un compte gratuit pour télécharger ce document

Je m'inscrisOU

J'ai déjà un compte

Je me connecte