Hilbert

Résumé : Avant tout, l’œuvre de Hilbert est le développement de la méthode abstraite qui caractérise les mathématiques modernes. Cette méthode, Hilbert l’applique dans tous les domaines mathématiques et, finalement, la pousse jusqu’à ses limites pour donner un fondement, une garantie dernière à la science. Le programme de fondement, que l’on a appelé le programme formaliste, donne lieu aux théorèmes d’incomplétude, qu’établit Gödel en 1931, et aux machines de Turing. Nous suivons cette aventure, de l’émergence de la méthode abstraite jusqu’au programme formaliste et aux résultats de Gödel et de Turing. Nous tentons d’en dégager la portée philosophique. Sont en jeu le statut de l’infini, l’extension et les caractères de la pensée humaine.