
Publication details
Publisher: Kimé
Place: Koeln
Year: 2007
Pages: 67-96
Series: Philosophia Scientiae
Full citation:
, "Méthode axiomatique et négation chez Hilbert", Philosophia Scientiae 11 (2), 2007, pp. 67-96.


Méthode axiomatique et négation chez Hilbert
pp. 67-96
in: Varia, Philosophia Scientiae 11 (2), 2007.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.
Cited authors
Publication details
Publisher: Kimé
Place: Koeln
Year: 2007
Pages: 67-96
Series: Philosophia Scientiae
Full citation:
, "Méthode axiomatique et négation chez Hilbert", Philosophia Scientiae 11 (2), 2007, pp. 67-96.