Die Grundlagen der Mathematik. Offprint from Hamburger mathematische Einzelschriften, 5. Heft, 1928. THE HILBERT PROGRAMME

Descripción

First separate edition of Hilbert's famous lecture on his proof theory and the set-theoretical foundations of mathematics, alongside a harsh criticism of Brouwer's intuitionism, and with his assistants' commentary. "The present paper, the text of an address delivered in July 1927 at the Hamburg Mathematical Seminar, can be considered a sequel to Hilbert's 1925 paper ['Ueber das Unendliche']. It restates the salient points of Hilbert's conception. The formal system used by Hilbert is described in greater detail here, and, by discussing a number of criticisms, the paper takes on a polemical tone absent from that of 1925. Hilbert comes back to his attempted proof of the continuum hypothesis and provides some explanations of Lemmas I and II. The paper ends with remarks on Ackermann's proof of the consistency of arithmetic" (van Heijenoort, From Frege to Godel, a Source Book in Mathematical Logic 1879-1932, p. 464). "On the whole, Hilbert's idea of making mathematical proof an object of mathematical research by means of formalization had proved to be very fruitful . . . he did establish proof theory as a valuable domain of mathematical investigation, and thus Hilbert was a pioneer in the newer mathematical foundation theory, as he was in many other fields of mathematics" (Macmillan Encyclopedia of Philosophy). 8vo, pp. 28 with photographic portrait frontispiece of Hilbert. Original printed wrappers (wrappers sunned at edges and with some minor creasing). N° de ref. del artículo ABE-1569068437188

Contactar al vendedor

Denunciar este artículo

Detalles bibliográficos