Hilbert et la notion d'existence en mathématiques

David Hilbert (1862-1943) est connu pour le formalisme et la méthode axiomatique qu'il a introduits en mathématique. Ses travaux d'axiomatisation de la géométrie euclidienne, puis de l'arithmétique, l'ont amené à transformer radicalement une notion fondamentale en mathématique, la notion d'existence. C'est la transformation de la notion d'existence en mathématique, que ce livre propose d'examiner.