HERBRAND, Jacques - Recherches sur la théorie... - Lot 506 - Oger - Blanchet

Lot 506
Aller au lot
Estimation :
150 EUR
HERBRAND, Jacques - Recherches sur la théorie... - Lot 506 - Oger - Blanchet
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.
Mes ordres d'achat
Informations sur la vente
Conditions de vente
Retourner au catalogue