Author: Petr Hájek
Publisher: Cambridge University Press
ISBN: 1107168414
Category : Mathematics
Languages : en
Pages : 475
Book Description
A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.
Metamathematics of First-Order Arithmetic
Author: Petr Hájek
Publisher: Cambridge University Press
ISBN: 1107168414
Category : Mathematics
Languages : en
Pages : 475
Book Description
A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.
Publisher: Cambridge University Press
ISBN: 1107168414
Category : Mathematics
Languages : en
Pages : 475
Book Description
A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.
Metamathematics of First-Order Arithmetic
Author: Petr Hájek
Publisher: Cambridge University Press
ISBN: 1316739457
Category : Mathematics
Languages : en
Pages : 476
Book Description
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the third publication in the Perspectives in Logic series, is a much-needed monograph on the metamathematics of first-order arithmetic. The authors pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness. The reader is only assumed to know the basics of mathematical logic, which are reviewed in the preliminaries. Part I develops parts of mathematics and logic in various fragments. Part II is devoted to incompleteness. Finally, Part III studies systems that have the induction schema restricted to bounded formulas (bounded arithmetic).
Publisher: Cambridge University Press
ISBN: 1316739457
Category : Mathematics
Languages : en
Pages : 476
Book Description
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the third publication in the Perspectives in Logic series, is a much-needed monograph on the metamathematics of first-order arithmetic. The authors pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness. The reader is only assumed to know the basics of mathematical logic, which are reviewed in the preliminaries. Part I develops parts of mathematics and logic in various fragments. Part II is devoted to incompleteness. Finally, Part III studies systems that have the induction schema restricted to bounded formulas (bounded arithmetic).
Metamath: A Computer Language for Mathematical Proofs
Author: Norman Megill
Publisher: Lulu.com
ISBN: 0359702236
Category : Computers
Languages : en
Pages : 250
Book Description
Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs. The Metamath language is simple and robust, with an almost total absence of hard-wired syntax, and we believe that it provides about the simplest possible framework that allows essentially all of mathematics to be expressed with absolute rigor. While simple, it is also powerful; the Metamath Proof Explorer (MPE) database has over 23,000 proven theorems and is one of the top systems in the "Formalizing 100 Theorems" challenge. This book explains the Metamath language and program, with specific emphasis on the fundamentals of the MPE database.
Publisher: Lulu.com
ISBN: 0359702236
Category : Computers
Languages : en
Pages : 250
Book Description
Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs. The Metamath language is simple and robust, with an almost total absence of hard-wired syntax, and we believe that it provides about the simplest possible framework that allows essentially all of mathematics to be expressed with absolute rigor. While simple, it is also powerful; the Metamath Proof Explorer (MPE) database has over 23,000 proven theorems and is one of the top systems in the "Formalizing 100 Theorems" challenge. This book explains the Metamath language and program, with specific emphasis on the fundamentals of the MPE database.
Introduction to Metamathematics
Author: Stephen Cole Kleene
Publisher:
ISBN: 9781258442460
Category :
Languages : en
Pages : 560
Book Description
Publisher:
ISBN: 9781258442460
Category :
Languages : en
Pages : 560
Book Description
Principia Mathematica
Author: Alfred North Whitehead
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 688
Book Description
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 688
Book Description
Mathematical Logic
Author: Stephen Cole Kleene
Publisher: Courier Corporation
ISBN: 0486317072
Category : Mathematics
Languages : en
Pages : 436
Book Description
Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more.
Publisher: Courier Corporation
ISBN: 0486317072
Category : Mathematics
Languages : en
Pages : 436
Book Description
Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more.
Bounded Arithmetic, Propositional Logic and Complexity Theory
Author: Jan Krajicek
Publisher: Cambridge University Press
ISBN: 0521452058
Category : Computers
Languages : en
Pages : 361
Book Description
Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems.
Publisher: Cambridge University Press
ISBN: 0521452058
Category : Computers
Languages : en
Pages : 361
Book Description
Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems.
Basic Proof Theory
Author: A. S. Troelstra
Publisher: Cambridge University Press
ISBN: 9780521779111
Category : Computers
Languages : en
Pages : 436
Book Description
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
Publisher: Cambridge University Press
ISBN: 9780521779111
Category : Computers
Languages : en
Pages : 436
Book Description
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
Bounded Arithmetic
Author: Samuel R. Buss
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 238
Book Description
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 238
Book Description
The Higher Infinite
Author: Akihiro Kanamori
Publisher: Springer Science & Business Media
ISBN: 3540888675
Category : Mathematics
Languages : en
Pages : 555
Book Description
Over the years, this book has become a standard reference and guide in the set theory community. It provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research, with open questions and speculations throughout.
Publisher: Springer Science & Business Media
ISBN: 3540888675
Category : Mathematics
Languages : en
Pages : 555
Book Description
Over the years, this book has become a standard reference and guide in the set theory community. It provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research, with open questions and speculations throughout.