H d hilbert (7 Ergebnisse)
- Weitere Bilder
- Hardcover
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes KönigreichWeBuyBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 33,35
EUR 9,46 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.
Principles of Mathematical Logic
Hilbert, D., and W. Ackerman; Lewis H. Hammond, George G. Leckie, and F. Steinhardt, trans; Robert E. Lucie, ed
Verlag: Chelsea Publishing Company, 1950
- Hardcover
Anbieter: Windows Booksellers, Eugene, OR, USAWindows Booksellers
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 42,55
EUR 6,59 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbHardcover, no dust jacket. Previous owner's name penned on ffep. Pencil underlining through page 14 with notes on bfep. Browning and wear on all edges of text. Cover slightly worn on front facing, corners and ends of spine. Else good. 172 pp.
- Softcover
Anbieter: Pallas Books Antiquarian Booksellers, Leiden, NiederlandePallas Books Antiquarian Booksellers
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 45,00
EUR 27,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
wrappers, 8vo 261 pp. fotomechanische Nachdrücke von 8 Schriften H. Minkowskis zur Geometrie der Zahlen; LIKE NEW condition.
- Softcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 179,90
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
2000. Zustand: gut. 2000. Leitlinien für Physiotherapie und Ergotherapie in der Rheumatologie. Qualitätssicherung der Gesellschaft medizinischer Assistenzberufe für Rheumatologie. In deutscher Sprache. pages.
- Hardcover
- Erstausgabe
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 165,25
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbBerlin, Stockholm, Paris, Beijer, 1902. 4to. Bound in contemporary half cloth with gilt lettering to spine. In "Acta Mathematica", Vol. 26, 1802. Entire volume offered. Stamps to title page, otherwise a fine and clean copy. pp. 99-132" Pp. 48-98. [Entire volume: (4), 400 pp.]. First printing of these two important papers on the…theory of quadratic number fields.
Grundzüge der theoretischen Logik.
HILBERT, D. UND W. ACKERMANN. - THE FOUNDATION OF MODERN MATHEMATICAL LOGIC.
- Hardcover
- Erstausgabe
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 206,57
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbBerlin, Springer, 1928. Orig. full cloth. Lower part of spine with loss of cloth. Lower right cornerof titlepage cut away, no loss of letters. VIII,120 pp. First edition. (Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen, Band XXVII). In the years 1917-22 Hilbert gave three seminal courses at the Univerist…y og Göttingen on logic and the foundation of mathematics. He received considerable help in preperation and eventual write up of these lectures from Bernays. This material was subsequently reworked by Ackermann into the monograph 'Grundzüge der Theoretischen Logik' (the offered item). It containes the first exposition ever of first-order logic and poses the problem of its completeness and the decision problem ('Entscheidungsproblem'). The first of these questions was answered just a year later by Kurt Gödel in his doctorial dissertation 'Die Vollständigkeit der Axiome des logischen Funktionenkalküls'. This result is known as Gödel's completeness theorem. Two years later Gödel published his famous 1931 paper 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I' in which he showed that a stronger logic, capable of modeling arithmetic, is either incomplete or inconsistent (Gödel's second incompleteness theorem). The later question posed by Hilbert and Ackermann regarding the decision problem was answered in 1936 independantly by Alonzo Church and Allan Turing. Church used his model the lambda-calculus and Turing his machine model to construct undecidable problems and show that the decision problem is unsolvable in first-order logic. These results by Gödel, Church, and Turing rank amongst the most important contributions to mathematical logic ever.
Grundzüge der theoretischen Logik.
HILBERT, D. UND W. ACKERMANN. - THE FOUNDATION OF MODERN MATHEMATICAL LOGIC.
- Softcover
- Erstausgabe
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 344,28
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbBerlin, Springer, 1928. 8vo. Uncut in orig. printed wrappers. VIII,120. With the name of Bent Schultzer (Former Danish professor in philosophy) on first leaf. Internally clean. First edition. (Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen, Band XXVII). In the years 1917-22 Hilbert gave three seminal cou…rses at the Univeristy og Göttingen on logic and the foundation of mathematics. He received considerable help in preperation and eventual write up of these lectures from Bernays. This material was subsequently reworked by Ackermann into the monograph 'Grundzüge der Theoretischen Logik' (the offered item). It containes the first exposition ever of first-order logic and poses the problem of its completeness and the decision problem ('Entscheidungsproblem'). The first of these questions was answered just a year later by Kurt Gödel in his doctorial dissertation 'Die Vollständigkeit der Axiome des logischen Funktionenkalküls'. This result is known as Gödel's completeness theorem. Two years later Gödel published his famous 1931 paper 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I' in which he showed that a stronger logic, capable of modeling arithmetic, is either incomplete or inconsistent (Gödel's second incompleteness theorem). The later question posed by Hilbert and Ackermann regarding the decision problem was answered in 1936 independantly by Alonzo Church and Allan Turing. Church used his model the lambda-calculus and Turing his machine model to construct undecidable problems and show that the decision problem is unsolvable in first-order logic. These results by Gödel, Church, and Turing rank amongst the most important contributions to mathematical logic ever.
