Undecidable Theories: Studies in Logic and the Foundation of Mathematics (Dover Books on Mathematics)

Valutazione media 4,4
( su 5 valutazioni fornite da Goodreads )
 
9780486477039: Undecidable Theories: Studies in Logic and the Foundation of Mathematics (Dover Books on Mathematics)

This graduate-level book is well known for its proof that many mathematical systems—including lattice theory, abstract projective geometry, and closure algebras—are undecidable. Based on research conducted from 1938 to 1952, it consists of three treatises by a prolific author who ranks among the greatest logicians of all time. 
The first article,  "A General Method in Proofs of Undecidability," examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, "Undecidability and Essential Undecidability in Mathematics," explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with “Undecidability of the Elementary Theory of Groups."

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

About the Author:

Polish mathematician Alfred Tarski (1901-83) ranks among the greatest logicians of all time. Best known for his work on model theory, meta mathematics, and algebraic logic, he contributed to many other fields of mathematics and taught at the University of California, Berkeley, for more than 40 years.
Tarski's student Andrzej Mostowksi worked at the University of Warsaw on first-order logic and model theory.
Tarski's University of California colleague Raphael M. Robinson built on Tarski's concept of essential undecidability and proved a number of mathematical theories undecidable.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Tarski, Alfred
ISBN 10: 0486477037 ISBN 13: 9780486477039
Nuovi Quantità: > 20
Da
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro 2010. PAP. Condizione libro: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Codice libro della libreria V0-9780486477039

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 6,80
Convertire valuta

Aggiungere al carrello

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

2.

Alfred Tarski
Editore: Dover Publications Inc., United States (2010)
ISBN 10: 0486477037 ISBN 13: 9780486477039
Nuovi Paperback Quantità: 10
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., United States, 2010. Paperback. Condizione libro: New. Dover.. Language: English . Brand New Book. This graduate-level book is well known for its proof that many mathematical systems--including lattice theory, abstract projective geometry, and closure algebras--are undecidable. Based on research conducted from 1938 to 1952, it consists of three treatises by a prolific author who ranks among the greatest logicians of all time. The first article, A General Method in Proofs of Undecidability, examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, Undecidability and Essential Undecidability in Mathematics, explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with Undecidability of the Elementary Theory of Groups. Codice libro della libreria AAC9780486477039

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 10,32
Convertire valuta

Aggiungere al carrello

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

3.

Alfred Tarski
Editore: Dover Publications Inc., United States (2010)
ISBN 10: 0486477037 ISBN 13: 9780486477039
Nuovi Paperback Quantità: 10
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., United States, 2010. Paperback. Condizione libro: New. Dover.. Language: English . Brand New Book. This graduate-level book is well known for its proof that many mathematical systems--including lattice theory, abstract projective geometry, and closure algebras--are undecidable. Based on research conducted from 1938 to 1952, it consists of three treatises by a prolific author who ranks among the greatest logicians of all time. The first article, A General Method in Proofs of Undecidability, examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, Undecidability and Essential Undecidability in Mathematics, explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with Undecidability of the Elementary Theory of Groups. Codice libro della libreria AAC9780486477039

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 10,38
Convertire valuta

Aggiungere al carrello

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

4.

Tarski, Alfred
ISBN 10: 0486477037 ISBN 13: 9780486477039
Nuovi Quantità: > 20
Da
Pbshop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro 2010. PAP. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Codice libro della libreria IB-9780486477039

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 7,07
Convertire valuta

Aggiungere al carrello

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

5.

Tarski, Alfred
Editore: Dover Publishers
ISBN 10: 0486477037 ISBN 13: 9780486477039
Nuovi Quantità: > 20
Da
INDOO
(Avenel, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publishers. Condizione libro: New. Brand New. Codice libro della libreria 0486477037

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 8,05
Convertire valuta

Aggiungere al carrello

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

6.

Alfred Tarski
Editore: Dover Publications Inc., United States (2010)
ISBN 10: 0486477037 ISBN 13: 9780486477039
Nuovi Paperback Quantità: 10
Da
Book Depository hard to find
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., United States, 2010. Paperback. Condizione libro: New. Dover.. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. This graduate-level book is well known for its proof that many mathematical systems--including lattice theory, abstract projective geometry, and closure algebras--are undecidable. Based on research conducted from 1938 to 1952, it consists of three treatises by a prolific author who ranks among the greatest logicians of all time. The first article, A General Method in Proofs of Undecidability, examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, Undecidability and Essential Undecidability in Mathematics, explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with Undecidability of the Elementary Theory of Groups. Codice libro della libreria BTE9780486477039

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 11,07
Convertire valuta

Aggiungere al carrello

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

7.

Tarski, Alfred
Editore: Dover Publications (2010)
ISBN 10: 0486477037 ISBN 13: 9780486477039
Nuovi Paperback Quantità: 11
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications, 2010. Paperback. Condizione libro: New. Codice libro della libreria 0486477037

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 8,51
Convertire valuta

Aggiungere al carrello

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

8.

Tarski, Alfred
ISBN 10: 0486477037 ISBN 13: 9780486477039
Nuovi Paperback Quantità: > 20
Da
BargainBookStores
(Grand Rapids, MI, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: New. Codice libro della libreria 972595

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 8,81
Convertire valuta

Aggiungere al carrello

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

9.

Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M.; Mathematics
Editore: Dover Publications
ISBN 10: 0486477037 ISBN 13: 9780486477039
Nuovi PAPERBACK Quantità: 3
Da
Lakeside Books
(Benton Harbor, MI, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications. PAPERBACK. Condizione libro: New. 0486477037 BRAND NEW, GIFT QUALITY! NOT OVERSTOCKS OR MARKED UP REMAINDERS! DIRECT FROM THE PUBLISHER!|0.5. Codice libro della libreria OTF-S-9780486477039

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 9,44
Convertire valuta

Aggiungere al carrello

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

10.

Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M.; Mathematics
Editore: Dover Publications
ISBN 10: 0486477037 ISBN 13: 9780486477039
Nuovi PAPERBACK Quantità: 1
Da
Qwestbooks COM LLC
(Bensalem, PA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications. PAPERBACK. Condizione libro: New. 0486477037. Codice libro della libreria Z0486477037ZN

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 12,89
Convertire valuta

Aggiungere al carrello

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

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro