Le projet de Hilbert

Dans le périodique : Tangente. Hors-série, n°15 (mai 2003)
• Pages : p. 27-40
• • Nature du document : documentaire
  • Résumé :

    Dossier sur les assertions vraies et non prouvables, le paradoxe du menteur, la preuve de Godel, vrai faux et indéterminé, les énigmes de Raymond Smullyan, les machines de Turing. Comment le programme du mathématicien "formaliste" Hilbert s'appuyant sur une démonstration absolue de la non-contradiction des mathématiques sera mis en cause par les théorèmes d'incomplétude de Godel. Bibliographie.
    

• • Descripteurs : logique mathématique / théorie des ensembles