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
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 221,31
EUR 26,27 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
Editore:
Oxford University Press, Oxford, New York, Toronto, 1992
ISBN 10: 0195046722
ISBN 13: 9780195046724
Antico o usato
Rilegato
Prima edizione
Da: Second Story Books, ABAA, Rockville, MD, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. First Edition, First Printing. Octavo, ix, xiii, 139 pages. In Very Good minus condition. Bound in the publisher's black and red cloth bearing gilt lettering to the spine. Boards have very slight wear including mild sunning and mild cocking to the spine. Text block has slight wear with faint age toning and light foxing to the edges. Light foxing to the end papers. Previous owner's information to the front end paper. Illustrated. First edition, first printing. NOTE: Shelved in Netdesk Column T, ND-T. 1398444. FP New Rockville Stock. Codice articolo 1398444
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
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
Editore:
Oxford University Press, Incorporated, 1992
ISBN 10: 0195046722
ISBN 13: 9780195046724
Antico o usato
Rilegato
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Codice articolo 4036865-20
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
Foto dell'editore
Godel's Incompleteness Theorems (Oxford Logic Guides)
Da: Toscana Books, AUSTIN, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Codice articolo Scanned0195046722
Quantità: 1 disponibili