COMPLÉTUDE THÉORÈMES DE
DÉMONSTRATION THÉORIE DE LA
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 B -règle, posé par Mostowski est le suivant : Caractériser les énoncés qui sont vrais dans tout modèle da […] Lire la suite
GÖDEL KURT (1906-1978)
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étude du calcul des prédicats. Dans leur Grundzüge der Theoretischen Logik , paru en 1928, Hilbert et Ackerm […] Lire la suite