Abstract

a) La doctrine de la connaissance défendue par Hilbert au cours du développement de la théorie de la démonstration est constituée dès la Conférence de Paris de 1900. Elle précède donc la théorie de la démonstration.b) L’application du principe fondamental de l’épistémologie hilbertienne (« Au commencement est le signe ») à la caractérisation de la négation logique est l’un des problèmes principaux de la théorie de la démonstration.c) Pour pouvoir caractériser la négation en termes de manipulation de signes, il faut abandonner la méthode axiomatique et donc sacrifier l’essentiel de la doctrine hilbertienne de la connaissance.