Articoli correlati a Gödel's Incompleteness Theorems: 19
Sinossi
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable". His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame.
In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel's incompleteness theorems. The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the book will appeal to mathematicians, philosophers, and computer scientists.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
'rigorously developed, yet pedagogically sensitive; carefully structured, yet elegantly presented ... fine introductions to areas that are of central importance to contemporary classical logic and foundations of mathematics Gödel's incompleteness theorems, is noteworthy for its unusually straight-forward presentations of some of the most intellectually rewarding results proved this century'A.D. Irvine, University of British Columbia, History and Philosophy of Logic, 15 (1994)
This is a clearly written, brisk book. Advanced students will find it both a useful text and a valuable reference. It is a very complete account of the various proofs of the Gödel theorems and as such is a valuable contribution to the literature. (A.M. Coyne, Zbl. Math. 787)
Contenuti
- 1: The general idea behind Godel's proof
- 2: Tarski's theorem for arithmetic
- 3: The incompleteness of peano arithmetic with exponentation
- 4: Arithmetic without the exponential
- 5: Godel's proof based on consistency
- 6: Rosser systems
- 7: Shepherdson's Representation theorems
- 8: Definability and diagonalization
- 9: The unprovability of consistency
- 10: Some general remarks on provability and truth
- 11: Self-referential systems
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreOUP USA
- Data di pubblicazione1992
- ISBN 10 0195046722
- ISBN 13 9780195046724
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine160
Compra nuovo
Visualizza questo articolo
EUR 223,56
EUR 39,17 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiRisultati della ricerca per Gödel's Incompleteness Theorems: 19
Foto dell'editore
Gödel's Incompleteness Theorems
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:0195046722. Codice articolo 5952652
Quantità: 1 disponibili
Foto dell'editore
Godel's Incompleteness Theorems (Oxford Logic Guides)
Editore:
Oxford University Press, 1992
ISBN 10: 0195046722
ISBN 13: 9780195046724
Antico o usato
Rilegato
Prima edizione
Da: Turning of the Tide Books, SEATTLE, WA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. 1st Edition. Hardcover octavo in Very Good+ condition, no dj; binding tight, book boards lightly worn but clean, interior text clean throughout. Codice articolo ABE-1718848859523
Quantità: 1 disponibili
Foto dell'editore
GÃ del's Incompleteness Theorems: 19 (Oxford Logic Guides)
Editore:
Oxford University Press, 1992
ISBN 10: 0195046722
ISBN 13: 9780195046724
Antico o usato
Rilegato
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo GOR006796860
Quantità: 1 disponibili
Foto dell'editore
Godel's Incompleteness Theorems (Oxford Logic Guides)
Editore:
Oxford University Press (edition 1), 1992
ISBN 10: 0195046722
ISBN 13: 9780195046724
Antico o usato
Rilegato
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. 1. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Codice articolo 0195046722-11-1
Quantità: 1 disponibili
Immagini fornite dal venditore
Godel's Incompleteness Theorems (Oxford Logic Guides)
Editore:
Oxford University Press, 1992
ISBN 10: 0195046722
ISBN 13: 9780195046724
Antico o usato
Rilegato
Da: Fables Books, Goshen, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. This item has a different cover than shown in the listing, because the listing photo is of the eTextbook. The hardcover is bound in dark blue cloth with red and gold lettering. A former library book with all the expected stamps, stickers and markings. Excellent condition for a former library book. Some shelf, storage or usage wear present. The binding is tight and all pages are present. Missing dustjacket, although it's unclear if one came with the book originally. The pages appear unmarked. Light staining on the cover. Pictures available upon request. Individually inspected by Calla. Thanks for supporting an independent bookseller! Codice articolo FBV.0195046722.G
Quantità: 1 disponibili
Immagini fornite dal venditore
Godel's Incompleteness Theorems; Oxford Logic Guides #19
Editore:
Oxford University Press, New York, 1992
ISBN 10: 0195046722
ISBN 13: 9780195046724
Antico o usato
Rilegato
Prima edizione
Da: Warwick Books, member IOBA, South Pasadena, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Fine. First Edition. Hardcover in black cloth boards with gilt and red lettering. No dust jacket. First Edition. Fine, As New condition. Appears unread. 8vo. 139 pp. including references and index. Codice articolo 96607
Quantità: 1 disponibili
Immagini fornite dal venditore
Godel's Incompleteness Theorems (Oxford Logic Guides 19)
Editore:
Oxford University Press, 1992
ISBN 10: 0195046722
ISBN 13: 9780195046724
Antico o usato
Rilegato
Da: Book House in Dinkytown, IOBA, Minneapolis, MN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Near Fine. Near fine hardcover, from a personal home collection. Interior appears free of markings, pages crisp. Exterior looks great, corners sharp. Binding is tight, sturdy, and square. 2nd printing. Ships same or next business day from Dinkytown in Minneapolis, Minnesota. Codice articolo 325884
Quantità: 1 disponibili
Foto dell'editore
Godel's Incompleteness Theorems (Oxford Logic Guides)
Editore:
Oxford University Press, 1992
ISBN 10: 0195046722
ISBN 13: 9780195046724
Antico o usato
Rilegato
Prima edizione
Da: Textbooks_Source, Columbia, MO, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Good. 1st Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Codice articolo 000223319U
Quantità: 1 disponibili
Foto dell'editore
Godel's Incompleteness Theorems (Oxford Logic Guides)
Editore:
Oxford University Press, 1992
ISBN 10: 0195046722
ISBN 13: 9780195046724
Antico o usato
Rilegato
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_397109634
Quantità: 1 disponibili
Foto dell'editore
G"odel's Incompleteness Theorems
Editore:
Oxford University Press, 1992
ISBN 10: 0195046722
ISBN 13: 9780195046724
Antico o usato
Rilegato
Da: OM Books, Sevilla, SE, Spagna
Valutazione del venditore 5 su 5 stelle
Condizione: Usado - bueno. Codice articolo 9780195046724
Quantità: 1 disponibili