‎HILBERT, D. UND W. ACKERMANN. - THE FOUNDATION OF MODERN MATHEMATICAL LOGIC.‎
‎Grundzüge der theoretischen Logik.‎

‎Berlin, 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.‎

Reference : 49908


‎First edition. (Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen, Band XXVII). In the years 1917-22 Hilbert gave three seminal courses 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.‎

€335.30 (€335.30 )
Bookseller's contact details

Herman H. J. Lynge & Son
William Schneider
Silkegade 11
1113 Copenhagen
Denmark

herman@lynge.com

+45 33 155 335

Contact bookseller

Payment mode
Cheque
Transfer
Others
Sale conditions

All items may be returned for a full refund for any reason within 14 days of receipt.

Contact bookseller about this book

Enter these characters to validate your form.
*
Send

5 book(s) with the same title

‎HILBERT, D. & W. ACKERMANN.‎

Reference : 32705

(1928)

‎Grundzüge der Theoretischen Logik. (Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen, Band XXVII).‎

‎Berlin, Julius Springer, 1928. 8vo. Publisher's full cloth. Ink signature of Samuel Skulsky on front free end paper. Completely clean throughout. A fine and tight copy.‎


‎First edition of the foundation of modern mathematical logic.In the years 1917-22 Hilbert gave three seminal courses 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. Scarce in this condition.‎

Logo ILAB

Phone number : +45 33 155 335

DKK2,000.00 (€268.24 )

‎HILBERT, D. UND W. ACKERMANN. - THE FOUNDATION OF MODERN MATHEMATICAL LOGIC.‎

Reference : 46101

(1928)

‎Grundzüge der theoretischen Logik.‎

‎Berlin, 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 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.‎

Logo ILAB

Phone number : +45 33 155 335

DKK1,500.00 (€201.18 )

‎HILBERT, D. UND W. ACKERMANN.‎

Reference : 24659

(1938)

‎Grundzüge der theoretischen Logik. Zweite, verb. Aufl.‎

‎Berlin, Springer, 1938. Orig. printed wrappers. Wr. with tear in spine. VIII,134 pp.‎


Logo ILAB

Phone number : +45 33 155 335

DKK300.00 (€40.24 )

‎HILBERT, D. und W. ACKERMANN.‎

Reference : 37513

(1959)

‎Grundzüge der theoretischen Logik. Vierte Auflage.‎

‎Berlin, Göttingen..., Springer-Verlag, 1959. Orig. full cloth. VIII,188 pp. A few underlinings and notes.‎


Logo ILAB

Phone number : +45 33 155 335

DKK425.00 (€57.00 )

‎HILBERT, D. UND W. ACKERMANN.‎

Reference : 48249

(1949)

‎Grundzüge der theoretischen Logik. Dritte, verb. Aufl.‎

‎Berlin, Springer, 1949. Orig. full cloth. A few brownspots to covers. A small stamp on foot of titlepage. VIII,156 pp.‎


Logo ILAB

Phone number : +45 33 155 335

DKK300.00 (€40.24 )
Get it on Google Play Get it on AppStore
The item was added to your cart
You have just added :

-

There are/is 0 item(s) in your cart.
Total : €0.00
(without shipping fees)
What can I do with a user account ?

What can I do with a user account ?

  • All your searches are memorised in your history which allows you to find and redo anterior searches.
  • You may manage a list of your favourite, regular searches.
  • Your preferences (language, search parameters, etc.) are memorised.
  • You may send your search results on your e-mail address without having to fill in each time you need it.
  • Get in touch with booksellers, order books and see previous orders.
  • Publish Events related to books.

And much more that you will discover browsing Livre Rare Book !