Linguistique de l’écrit

Revue internationale en libre accès

Revue | Volume | Article

175140

Méthode axiomatique et négation chez Hilbert

Eric Audureau

pp. 67-96

Résumé

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.

Détails de la publication

Publié dans:

(2007) Varia. Philosophia Scientiae 11 (2).

Pages: 67-96

DOI: 10.4000/philosophiascientiae.335

Citation complète:

Audureau Eric, 2007, Méthode axiomatique et négation chez Hilbert. Philosophia Scientiae 11 (2), Varia, 67-96. https://doi.org/10.4000/philosophiascientiae.335.