SÉQUENTS CALCUL DES

DÉMONSTRATION THÉORIE DE LA

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

Dans le chapitre « Le calcul des séquents »  : […] L'ontologie hilbertienne se fondait sur les énoncés Π 0 1 . À bien des égards, la classe duale (Σ 0 1 ) a un bien meilleur comportement ; par exemple, tout énoncé Σ 0 1 vrai est prouvable par des méthodes élémentaires. À partir de cela, l'analogue du programme de Hilbert pour les énoncés Σ 0 1 devient démontrable pour les théories courantes ; mais la démonstration n'est pas élémentaire ! Σ 0 1 […] Lire la suite