Hilbert (David)
David Hilbert (1862 — 1943), mathématicien Allemand.
Outre ses contributions mathématiques majeures dont ceux au support mathématique de la mécanique quantique et de la relativité générale, Hilbert s’est toujours attaché défendre une utilisation rigoureuse des mathématiques et de la logique. Il en structurera les bases pour en éradiquer les paradoxes. De sa confrontation intellectuelle avec Kurt Gödel sortiront les fondations théoriques de l’Intelligence artificielle.
1920 La théorie de la démonstration
Dans la continuité de l’école mathématique formaliste, en 1920, Hilbert introduit sa « théorie de la démonstration ». Il fait l’hypothèse que la consistance de tout énoncé mathématique peut être indépendamment de sa sémantique : il suffit de valider que la formulation d’un énoncé respecte strictement les règles syntactiques du métalangage universel d’axiomatisation mathématique pour garantir la consistance de cet énoncé.
Ce processus de validation peut alors s’appuyer sur un algorithme.