HILBERT PROGRAMME DE

Articles

• DÉMONSTRATION THÉORIE DE LA

  • Écrit par Jean-Yves GIRARD
  • 6 140 mots
  • 1 média
  David Hilbert a proposé un programme de démonstration d'une opinion philosophique : le formalisme. La prétention de Hilbert à démontrer son point de vue a pour contrepartie évidente la possibilité de le réfuter ; la philosophie s'accommode rarement de conclusions aussi tranchées ! Même réfuté,...

• HILBERT DAVID (1862-1943)

  • Écrit par Rüdiger INHETVEEN, Jean-Michel KANTOR, Christian THIEL
  • 14 726 mots
  • 1 média
  Ce programme, appelé de nos jours « programme de Hilbert », n'était bien entendu réalisable sans cercle vicieux que si la démonstration de non-contradiction n'avait pas à faire usage de la logique (elle-même formalisée en système), c'est-à-dire si les moyens de démonstration étaient fondés indépendamment....