The Foundations of Intuitionistic Mathematics: Especially in Relation to Recursive FunctionsNorth-Holland Publishing Company, 1965 - 206 strani |
Vsebina
A FORMAL SYSTEM OF INTUITIONISTIC | 1 |
Postulates for predicate calculus for number theory | 13 |
Postulates for certain primitive recursive functions | 19 |
Avtorske pravice | |
10 preostalih delov ni prikazanih
Druge izdaje - Prikaži vse
The Foundations of Intuitionistic Mathematics: Especially in Relation to ... Stephen Cole Kleene,Richard Eugene Vesley Prikaz kratkega opisa - 1965 |
Pogosti izrazi in povedi
2x+p a₁ abbreviate algorithm Amsterdam apply arithmetic Assume for 3-elim Assume Seq(a Axiom Schema B₁ bar theorem Brouwer's principle Chapter choice sequences classical Clause consistency proof containing free continuum contradicting Corollary correlated deduce defined equivalent finite follows Footnote function symbols function variables functor Gödel Hence Heyting Ibid introd introduced intuitionism intuitionistic analysis intuitionistic formal system intuitionistic logic intuitionistic mathematics intuitionistic predicate calculus Intuitionistische Kleene Kreisel Lemma Math metamathematical natural numbers number theory number-theoretic functions numeralwise express omitting one-place number-theoretic functions Ɔ A(a partial recursive function past secured predicate calculus preparatory to 3-elim prime formula primitive recursive function prior to 3-elim proof properties propositional prove quantifiers real numbers realization function realizes-Y reductio ad absurdum refute Remark result sequence numbers Similarly special recursive ẞER SUBCASE 2.1 term Thence ungrealizable unprovable V-elim V-introd Va[Seq(a VxA(x W₁(x Wo(x αεσ αι