Abonnez-vous à Universalis pour 1 euro

DÉMONSTRATION THÉORIE DE LA

Bibliographie

W. Buchholz, S. Feferman et al., Iterated Inductive Definitions and Subsystems of Analysis, Lecture Notes in mathematics, vol. 897, Springer Verlag, Berlin, 1982

La Démonstration mathématique dans l’histoire, ouvr. coll., I.R.E.M. de Besançon et I.R.E.M. de Lyon, Besançon, 1989

J.-Y. Girard, Les Démonstrations de cohérence de l'arithmétique, I.R.E.M., Villetaneuse, 1980 ; Proof Theory and Logical Complexity, Bibliopolis, Naples, 1983 ; « La Théorie de la démonstration, du programme de Hilbert à la logique linéaire », in Leçons de mathématiques d’aujourd’hui, vol. 2, Cassini, Paris, 2003

S. C. Kleene, Logique mathématique, J. Gabay, Paris, 1987

D. Prawitz, Natural Deduction, Almqvitz & Wiksell, Stockholm, 1965.

La suite de cet article est accessible aux abonnés

  • Des contenus variés, complets et fiables
  • Accessible sur tous les écrans
  • Pas de publicité

Découvrez nos offres

Déjà abonné ? Se connecter

Écrit par

Classification

Média

Théorie de la démonstration - crédits : Encyclopædia Universalis France

Théorie de la démonstration

Autres références

  • GENTZEN GERHARD (1909-1945)

    • Écrit par
    • 133 mots

    Logicien allemand, né à Greifswald et mort à Prague lors de son emprisonnement par les Soviétiques. Gentzen a développé l'étude des systèmes de déduction naturelle et établi un théorème d'élimination des coupures. Gerhard Gentzen a également donné une démonstration de consistance de l'arithmétique...

  • HERBRAND JACQUES (1908-1931)

    • Écrit par
    • 87 mots

    Logicien et mathématicien français né à Paris et mort à Saint-Christophe-en-Oisans dans un accident de montagne. La brève carrière de Jacques Herbrand est marquée par sa démonstration, essentiellement correcte, d'un théorème central du calcul des prédicats du premier ordre, qui a...

  • HILBERT DAVID (1862-1943)

    • Écrit par , et
    • 14 731 mots
    • 2 médias
    ...Hilbert s'est donné pour but de sauver la position classique de la mathématique et, en même temps, de forger de nouveaux outils permettant de donner une démonstration absolue de non-contradiction de l'arithmétique d'abord, puis de l'analyse. Il se proposa d'établir la non-contradiction absolue d'un système...
  • POST EMIL LEON (1897-1954)

    • Écrit par
    • 623 mots

    Mathématicien américain né à Augustów (Pologne) et mort à New York. Arrivé aux États-Unis en 1904, Emil Post obtint son Ph.D. à l'université Columbia de New York en 1920. Il était membre de l'American Mathematical Society depuis 1918 et de l'Association for Symbolic Logic dès sa fondation...