D und w ackermann hilbert (9 risultati)
Editore: Berlin: Julius Springer, 1938
- Brossura
Da: Sequitur Books, Boonsboro, MD, U.S.A.Sequitur Books
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: IOBA
Condizione: Usato - Molto buono
EUR 26,69
EUR 5,16 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Softcover. Good binding and cover. Minimal wear/tear to wraps. Generally clean. 133 p., 25 cm.
Editore: Berlin: Julius Springer
- Brossura
Da: Pella Books, Pella, IA, U.S.A.Pella Books
Contatta il venditoreVenditore con 2 stelleCondizione: Usato - Buono
EUR 26,69
EUR 9,07 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTrade Paperback. Condizione: Used Good. Ourside is much worn, inside has no marks or writing.
- Rilegato
Da: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DanimarcaHerman H. J. Lynge & Søn ILAB-ABF
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 41,33
EUR 42,00 spedizioneSpedito da Danimarca a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBerlin, Springer, 1949. Orig. full cloth. A few brownspots to covers. A small stamp on foot of titlepage. VIII,156 pp.
- Brossura
Da: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DanimarcaHerman H. J. Lynge & Søn ILAB-ABF
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 41,33
EUR 42,00 spedizioneSpedito da Danimarca a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBerlin, Springer, 1938. Orig. printed wrappers. Wr. with tear in spine. VIII,134 pp.
- Rilegato
Da: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DanimarcaHerman H. J. Lynge & Søn ILAB-ABF
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 58,55
EUR 42,00 spedizioneSpedito da Danimarca a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBerlin, Göttingen., Springer-Verlag, 1959. Orig. full cloth. VIII,188 pp. A few underlinings and notes.
- Rilegato
Da: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DanimarcaHerman H. J. Lynge & Søn ILAB-ABF
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 62,00
EUR 42,00 spedizioneSpedito da Danimarca a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBerlin, Göttingen., Springer-Verlag, 1959. Orig. full cloth. VIII,188 pp.
- Brossura
Da: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DanimarcaHerman H. J. Lynge & Søn ILAB-ABF
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 89,55
EUR 42,00 spedizioneSpedito da Danimarca a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBerlin, Springer, 1938. Lex8vo. Uncut in orig. printed wrappers. Small stamp on foot of titlepage. VIII,134 pp. From the library of the Danish logician and philosopher Jørgen Jørgensen with his name on frontcover. A fine clean copy.
Grundzüge der theoretischen Logik.
HILBERT, D. UND W. ACKERMANN. - THE FOUNDATION OF MODERN MATHEMATICAL LOGIC.
- Rilegato
- Prima edizione
Da: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DanimarcaHerman H. J. Lynge & Søn ILAB-ABF
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 206,66
EUR 42,00 spedizioneSpedito da Danimarca a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBerlin, 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.
- Brossura
- Prima edizione
Da: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DanimarcaHerman H. J. Lynge & Søn ILAB-ABF
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 344,44
EUR 42,00 spedizioneSpedito da Danimarca a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBerlin, 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.