COMPLÉTUDE THÉORÈMES DE

DÉMONSTRATION THÉORIE DE LA

  • Écrit par 
  • Jean-Yves GIRARD
  •  • 6 260 mots
  •  • 1 média

Dans le chapitre « La logique Π12 »  : […] L'extension des résultats obtenus par Takeuti, Pohlers, Buchholz... pour le schéma de compréhension Π 1 1 à des systèmes plus forts nécessite de remplacer la ω-logique par des logiques correspondant à de plus grandes complexités logiques, Π 2 1 et plus généralement Π 1 n . Le problème de la […] Lire la suite☛ http://www.universalis.fr/encyclopedie/theorie-de-la-demonstration/#i_35318

GÖDEL KURT (1906-1978)

  • Écrit par 
  • Daniel ANDLER
  •  • 2 293 mots

Dans le chapitre « L'œuvre »  : […] Les travaux de Gödel ont été exposés et situés dans leur contexte mathématique et épistémologique (cf. logique mathématique , hilbert , fondements des mathématiques et problèmes de hilbert ). Aussi nous contenterons-nous ici d'un bref aperçu. Le premier grand résultat est celui de la complétud […] Lire la suite☛ http://www.universalis.fr/encyclopedie/kurt-godel/#i_35318