Introduction to Metamathematics |
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
THE THEORY OF SETS | 3 |
SOME FUNDAMENTAL CONCEPTS | 19 |
Intuitionism | 46 |
Copyright | |
81 other sections not shown
Other editions - View all
Common terms and phrases
application arithmetic Assume Axiom Schema axioms bound Chapter classical completely computation conclusion consider consistency constant constructed containing Corollary corresponding deduction defined definition depends distinct domain effectively entities enumerable equality equations equivalent establish EXAMPLE exists expressed extended finite formal system give given Gödel number Hence hold hypothesis induction inference interpretation intuitionistic Lemma letter formula logical machine mathematics means metamathematical method natural numbers notion number-theoretic objects obtain occur operation P₁ partial recursive particular postulates predicate calculus predicate letter primitive recursive principal problem proof proposition proposition letter propositional calculus provable prove quantifiers realizes recursive function Remark replace representing respectively result rules S₁ satisfied sense sequence Similarly simply situation square step substitution Suppose symbols Theorem theory true variables VxA(x
Bibliographic information
| Title | Introduction to Metamathematics Volume 1 of Bibliotheca Mathematica, a Series of Monographs on Pure and Volume 1 of Bibliotheca mathematica, ISSN 0519-9743 Volume 1 of Bibliotheca mathematica, a series of monographs on pure and applied mathematics Volume 1 of Bibliotheca mathematica: North-Holland |
| Author | Stephen Cole Kleene |
| Edition | 7, reprint |
| Publisher | Wolters-Noordhoff, 1971 |
| Original from | the University of California |
| Digitized | Dec 2, 2010 |
| ISBN | 0444100881, 9780444100887 |
| Length | 550 pages |
| Export Citation | BiBTeX EndNote RefMan |