Lot n° 506

HERBRAND, Jacques - Recherches sur la théorie de la démonstration. Warszawa, Dziewulski, 1930, …

Estimation : 150 EUR
Description
HERBRAND, Jacques - Recherches sur la théorie de la
démonstration. Warszawa, Dziewulski, 1930, in-8, br., (2)-128 pp.
Travaux de la Société des Sciences et des Lettres de Varsovie,
classe III sciences mathématiques et physiques, n° 33.
Édition originale de la thèse de doctorat de Herbrand (1908-
1931), auteur d'un théorème "considéré comme fondamental dans
la logique des prédicats" (Larousse). Son oeuvre a été "redécouverte"
par les Américains au début des années 70, dans le cadre de la
recherche concernant la science informatique. Aboutissement
de réflexions inspirées par sa lecture de Löwenheim, Skolem, von
Neumann et Hilbert. L'objet de Herbrand est d'introduire dans
sa thèse "les nouvelles logiques axiomatiques hilbertiennes" en
France, et de faire une place à l'algèbre dans un enseignement
mathématique entièrement dominé par l'analyse"(V. Catherine
Chevalley, Revue d'histoire des sciences, 1987, vol. 40, p. 73).
Sans le feuillet d'errata.
Partager