Articoli correlati a Introduction to Metamathematics
Sinossi
Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gadel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic, at least a turning point after which nothing was ever the same. Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gade1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gadel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Kleene SC
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 108,00
EUR 11,00 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Introduction to Metamathematics
Foto dell'editore
Introduction to Metamathematics (Bibliotheca Mathematica)
Da: mountain, GEORGETOWN, CO, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Acceptable. hardcover book no dust jacket, light wear to cover and book edges has some light water damage. has some stains to book edges. Codice articolo mon0000002037
Quantità: 1 disponibili
Foto dell'editore
Introduction to Metamathematics (Bibliotheca Mathematica)
Da: BooksElleven, Three Oaks, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Good. 550 pgs. Nice cover. Clean pages throughout. Binding is secure. Codice articolo BS1240908016
Quantità: 1 disponibili
Foto dell'editore
Introduction to Metamathematics (Bibliotheca Mathematica)
Da: Kisharon Langdon New Chapters, HARROW, Regno Unito
Valutazione del venditore 4 su 5 stelle
NO DUST JACKET. Sold by the UK charity Kisharon Langdon; offering opportunities and support for people within the autism and learning disability community. Codice articolo EDU BOX3 RS1/21052025
Quantità: 1 disponibili
Immagini fornite dal venditore
Introduction to Metamathematics (Bibliotheca Mathematica, vol.1)
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germania
Valutazione del venditore 5 su 5 stelle
Hardcover. 550 p. Good condition. Reading pages are clean and without markings. Light signs of storage and use. Inscription on the last page. Otherwise a neat copy. 9780720421033 Sprache: Englisch Gewicht in Gramm: 1001. Codice articolo 255814
Quantità: 1 disponibili
Foto dell'editore
Introduction to Metamathematics (Bibliotheca Mathematica)
Da: Great Matter Books, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Near Fine. No Jacket. Near Fine condition hardcover book, no dust jacket as issued. Transfered to digital printing 2005. Very slight shelf wear to covers and spines. Few shallow indentations to spine, mostly near top edge. Very slight bumping to spine edges and cover corners. Minute smudging to top edge of text block. All books are individually inspected and described. Never X-Library unless specifically described as such. Codice articolo 2501-9514
Quantità: 1 disponibili
Immagini fornite dal venditore
Introduction to Metamathematics
Editore:
Elsevier Science & Technology, North Holland, 1980
ISBN 10: 0720421039
ISBN 13: 9780720421033
Nuovo
Rilegato
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gadel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic, at least a turning point after which nothing was ever the same. Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gade1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gadel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education. Englisch. Codice articolo 9780720421033
Quantità: 2 disponibili
Foto dell'editore
Introduction to Metamathematics, (Bibliotheca Mathematica)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: New. Codice articolo 6666-ELS-9780720421033
Quantità: Più di 20 disponibili
Foto dell'editore
Introduction to Metamathematics
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 11th repr. 1996 edition. 550 pages. 9.25x6.25x1.25 inches. In Stock. Codice articolo __0720421039
Quantità: 2 disponibili
Foto dell'editore
INTRODUCTION TO METAMATHEMATICS
Print on DemandDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 4 su 5 stelle
Condizione: new. Questo è un articolo print on demand. Codice articolo e710216c50afb24c8556167d185c4adc
Quantità: Più di 20 disponibili
Foto dell'editore
Introduction to Metamathematics (Bibliotheca Mathematica)
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_412950148
Quantità: 1 disponibili