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 d […] Lire la suite☛ http://www.universalis.fr/encyclopedie/theorie-de-la-demonstration/#i_90875