Produktart
Zustand
Einband
Weitere Eigenschaften
Land des Verkäufers
Verkäuferbewertung
Erstausgabe
Berlin, Julius Springer, 1923. 8vo. Full cloth. Spine gone. In: "Mathematische Annalen begründet durch Alfred Clebsch und Carl Neumann.", 88. Bd. (4),312 pp. (Entire volume offered). Hilbert's paper: pp. 151-165. Internally clean and fine. First edition as a continuation of his paper from 1922 "Neubegründung der Mathematik. Erste Mitteilung"."This articlee, delivered as a lecture to the deutsche Naturforscher Gesellschaft in Leipzig, September 1922, is a sequel to (neubegründung.), and brings Hilbert's proof theory to maturity. Hilbert here introduces several technical refinements and clarification to his theory. Specifically: (i) he improves the formal system by adding a special sign for formal negation.(ii) he refines his account of the distinction between formal language and the metalanguage.(iii) he outlines a consistency proof for an elementary, quantifier-free formal system of number-theory. (iv) he begins to extend his proof theory to analysis and set theory.sketches a strategy for proving the consistency of a version of Zermel's axiom of choice for real numbers.(etc. etc). (William Ewald in from Kant to Hilbert, vol. II, pp.1134-35).
Berlin, Julius Springer, 1923. Later full cloth. In: "Mathematische Annalen begründet durch Alfred Clebsch und Carl Neumann.", 88. Bd. (4),312 pp. Hilbert's paper: pp. 151-165. The whole volume offered. First edition as a continuation of his paper from 1922 "Neubegründung der Mathematik. Erste Mitteilung"."This articlee, delivered as a lecture to the deutsche Naturforscher Gesellschaft in Leipzig, September 1922, is a sequel to (neubegründung.), and brings Hilbert's proof theory to maturity. Hilbert here introduces several technical refinements and clarification to his theory. Specifically: (i) he improves the formal system by adding a special sign for formal negation.(ii) he refines his account of the distinction between formal language and the metalanguage.(iii) he outlines a consistency proof for an elementary, quantifier-free formal system of number-theory. (iv) he begins to extend his proof theory to analysis and set theory.sketches a strategy for proving the consistency of a version of Zermel's axiom of choice for real numbers.(etc. etc). (William Ewald in from Kant to Hilbert, vol. II, pp.1134-35).
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642868975ISBN 13: 9783642868979
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New.
Verlag: Springer Berlin Heidelberg, 2016
ISBN 10: 3662487853ISBN 13: 9783662487853
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Aus dem Vorwort von David Hilbert: 'Entgegen dem ursprünglichen Plan einer vierbändigen Ausgabe meiner Abhandlungen konnte der Abdruck meiner Arbeiten über Analysis, Physik und Grundlagen im Rahmen dieses dritten Bandes erfolgen und mit ihm die Ausgabe abgeschlossen werden. Dies wurde durch Verzicht auf den Abdruck der als Sonderdruck in Buchform veröffentlichten Abhandlungen über Integralgleichungen ermöglicht. Ebenso wurde von der Aufnahme derjenigen Abhandlungen zur Grundlegung der Mathematik, welche bereits als Anhänge in meinem Buch über Grundlagen der Geometrie abgedruckt sind, abgesehen. An Stelle der so entstandenen Lücken haben Herr HELLINGER eine zusammenfassende Darstellung meiner Arbeiten über Integralgleichungstheorie und die daran anschließende Entwicklung, Herr BERNAYS eine solche Darstellung über die Arbeiten zur Grundlegung der Mathematik gegeben. Die Arbeiten über Strahlungstheorie sind in freundlicher Weise von Herrn KRATZER einer Durchsicht unterzogen worden. Der vorliegende Band enthält ferner einen biographischen Aufsatz aus der Feder von Herrn BLUMENTHAL.'.
Verlag: Springer Berlin Heidelberg, 1935
ISBN 10: 3662376571ISBN 13: 9783662376577
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.
Anbieter: Antiquariat Renner OHG, Albstadt, Deutschland
Verbandsmitglied: BOEV
Anbieter: Antiquariat Renner OHG, Albstadt, Deutschland
Verbandsmitglied: BOEV
Anbieter: Antiquariat Renner OHG, Albstadt, Deutschland
Verbandsmitglied: BOEV