G÷del's Incompleteness Theorems

Valutazione media 4,38
( su 40 valutazioni fornite da GoodReads )
 
9780195046724: G÷del's Incompleteness Theorems

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.

I migliori risultati di ricerca su AbeBooks

1.

Smullyan, Raymond M.
Editore: Oxford University Press (2016)
ISBN 10: 0195046722 ISBN 13: 9780195046724
Nuovi Paperback QuantitÓ: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Oxford University Press, 2016. Paperback. Condizione libro: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Codice libro della libreria ria9780195046724_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 55,14
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,85
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

2.

Raymond M. Smullyan
Editore: Oxford Univ Pr on Demand (1992)
ISBN 10: 0195046722 ISBN 13: 9780195046724
Nuovi Rilegato QuantitÓ: 1
Da
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Oxford Univ Pr on Demand, 1992. Hardcover. Condizione libro: Brand New. first edition edition. 160 pages. 9.50x6.25x0.25 inches. In Stock. Codice libro della libreria zk0195046722

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 78,39
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,92
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

3.

Raymond M. Smullyan
Editore: Oxford University Press, USA (1992)
ISBN 10: 0195046722 ISBN 13: 9780195046724
Nuovi Rilegato QuantitÓ: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Oxford University Press, USA, 1992. Hardcover. Condizione libro: New. First. Codice libro della libreria DADAX0195046722

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 82,79
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,68
In U.S.A.
Destinazione, tempi e costi

4.

Raymond M. Smullyan
Editore: Oxford University Press (1992)
ISBN 10: 0195046722 ISBN 13: 9780195046724
Nuovi Rilegato QuantitÓ: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Oxford University Press, 1992. Hardcover. Condizione libro: New. book. Codice libro della libreria 0195046722

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 88,13
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

5.

Smullyan, Raymond M.
Editore: Oxford University Press (2017)
ISBN 10: 0195046722 ISBN 13: 9780195046724
Nuovi Rilegato QuantitÓ: 2
Print on Demand
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Oxford University Press, 2017. Hardcover. Condizione libro: New. This item is printed on demand. Codice libro della libreria P110195046722

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 108,71
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,76
In U.S.A.
Destinazione, tempi e costi

6.

Smullyan, Raymond M.
Editore: Oxford University Press
ISBN 10: 0195046722 ISBN 13: 9780195046724
Nuovi Rilegato QuantitÓ: 1
Da
BennettBooksLtd
(Chicago, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Oxford University Press. Hardcover. Condizione libro: New. 0195046722 New. Looks like an interesting title, learn more! We provide domestic tracking upon request. We provide personalized customer service and want you to have a great experience purchasing from us. 100% satisfaction guaranteed and thank you for your consideration. Codice libro della libreria S-0195046722

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 128,65
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,56
In U.S.A.
Destinazione, tempi e costi

7.

Smullyan, Raymond M.
Editore: OUP USA (1992)
ISBN 10: 0195046722 ISBN 13: 9780195046724
Nuovi QuantitÓ: > 20
Print on Demand
Da
PBShop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro OUP USA, 1992. HRD. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IP-9780195046724

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 204,92
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,68
In U.S.A.
Destinazione, tempi e costi

8.

Smullyan, Raymond M.
Editore: OUP USA (1992)
ISBN 10: 0195046722 ISBN 13: 9780195046724
Nuovi QuantitÓ: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro OUP USA, 1992. HRD. Condizione libro: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Codice libro della libreria IP-9780195046724

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 200,53
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,38
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

Raymond M. Smullyan
Editore: Oxford University Press Inc, United States (1992)
ISBN 10: 0195046722 ISBN 13: 9780195046724
Nuovi Rilegato QuantitÓ: 10
Print on Demand
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Oxford University Press Inc, United States, 1992. Hardback. Condizione libro: New. 236 x 160 mm. Language: English . Brand New Book ***** Print on Demand *****. 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. Codice libro della libreria APC9780195046724

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 240,90
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

Raymond M. Smullyan
Editore: Oxford University Press Inc, United States (1992)
ISBN 10: 0195046722 ISBN 13: 9780195046724
Nuovi Rilegato QuantitÓ: 10
Print on Demand
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Oxford University Press Inc, United States, 1992. Hardback. Condizione libro: New. 236 x 160 mm. Language: English . Brand New Book ***** Print on Demand *****.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. Codice libro della libreria APC9780195046724

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 241,01
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro