Del 19 - Oxford Logic Guides

Gödel's Incompleteness Theorems

Inbunden, Engelska, 1992

AvRaymond M. Smullyan,USA) Smullyan, Raymond M. (Professor, City College, Professor, City College, City University of New York

4 289 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum1992-10-22
Mått162 x 243 x 17 mm
Vikt435 g
FormatInbunden
SpråkEngelska
SerieOxford Logic Guides
Antal sidor160
FörlagOUP USA
ISBN9780195046724

Tillhör följande kategorier

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

'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)

Mer från samma författare

To Mock a Mockingbird: and Other Logic Puzzles

Raymond Smullyan, Indiana State University) Smullyan, Raymond (Oscar Ewing Professor of Philosophy, Oscar Ewing Professor of Philosophy, Raymond M. Smullyan, Raymond (Oscar Ewing Profes... Smullyan, Raymond M Smullyan

Häftad

219 kr

Alice in Puzzle-Land

Raymond M. Smullyan, Martin Gardner, Greer Fitting, Raymond M Smullyan

Häftad

159 kr

The Tao Is Silent

Raymond M. Smullyan, Raymond M Smullyan

Häftad

189 kr

Del 22

Recursion Theory for Metamathematics

Raymond M. Smullyan, Indiana University) Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy

Inbunden

2 859 kr

Del 27

Diagonalization and Self-Reference

Raymond M. Smullyan, Indiana University) Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy

Inbunden

5 119 kr

Who Knows?

Raymond M. Smullyan

Häftad

249 kr

The Lady or the Tiger?: And Other Logic Puzzles

Raymond M. Smullyan, Raymond M Smullyan

Häftad

299 kr

What is the Name of This Book?

Raymond M. Smullyan, Raymond M Smullyan

Häftad

189 kr

Beginner’s Guide to Mathematical Logic

Raymond M. Smullyan

Häftad

249 kr

Gödelian Puzzle Book

Raymond M. Smullyan, Raymond Smullyan

Häftad

179 kr

Mer från samma serie

Consequence Relations

Alex Citkin, Alexei Muravitsky, New York) Citkin, Alex (CIO, CIO, Metropolitan Telecommunications, Louisiana Scholars' College at Northwestern State University of Louisiana) Muravitsky, Alexei (Professor of Mathematics, Professor of Mathematics

Inbunden

1 609 kr

Fragments of First-Order Logic

Ian Pratt-Hartmann, University of Opole) Pratt-Hartmann, Ian (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole, Senior Lecturer, University of Manchester Professor of Mathematical Sciences

Inbunden

2 309 kr

Del 24

Introduction to Logic and to the Methodology of Deductive Sciences

Alfred Tarski, The late Alfred Tarski, Jan Tarski

Inbunden

2 159 kr

Del 22

Recursion Theory for Metamathematics

Raymond M. Smullyan, Indiana University) Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy

Inbunden

2 859 kr

Del 36

Twenty Five Years of Constructive Type Theory

Giovanni Sambin, Jan M. Smith, Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Jan Smith

Inbunden

1 589 kr

Del 42

Change, Choice and Inference

Hans Rott, Germany) Rott, Hans (, Professor of Philosophy, University of Regensburg

Inbunden

3 139 kr

Del 38

Fibring Logics

Dov M. Gabbay, London) Gabbay, Dov M. (Professor of Computer Science, Professor of Computer Science, King's College

Inbunden

1 979 kr

Del 39

Elements of Intuitionism

Michael Dummett, University of Oxford) Dummett, Michael (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy

Inbunden

4 669 kr

Del 46

Interpolation and Definability

Dov M. Gabbay, Larisa Maksimova, King's College London) Gabbay, Dov M. (, Department of Computer Science, Russia) Maksimova, Larisa (, Institute of Mathematics, Siberian Branch of Russian Academy of Science, Novosibirsk

Inbunden

3 619 kr

Del 21

Elementary Categories, Elementary Toposes

McLarty, Colin McLarty

Häftad

2 119 kr

Du kanske också är intresserad av

Del 22

Recursion Theory for Metamathematics

Raymond M. Smullyan, Indiana University) Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy

Inbunden

2 859 kr

Del 21

Elementary Categories, Elementary Toposes

McLarty, Colin McLarty

Häftad

2 119 kr

Del 30

Features and Fluents

Erik Sandewall, Sweden) Sandewall, Erik (Professor, Department of Computer and Information Science, Professor, Department of Computer and Information Science, Linkoping University

Inbunden

1 909 kr