SÉQUENTS CALCUL DES

Article

• DÉMONSTRATION THÉORIE DE LA

  • Écrit par Jean-Yves GIRARD
  • 6 140 mots
  • 1 média
  L'ontologie hilbertienne se fondait sur les énoncés Π⁰₁ . À bien des égards, la classe duale (Σ⁰₁ ) a un bien meilleur comportement ; par exemple, tout énoncé Σ⁰₁ vrai est prouvable par des méthodes élémentaires. À partir de cela, l'analogue du programme de Hilbert pour les énoncés Σ...