The Foundations of Intuitionistic Mathematics: Especially in Relation to Recursive FunctionsNorth-Holland Publishing Company, 1965 - 206 strani |
Vsebina
Postulates for predicate calculus for number theory | 13 |
Postulates for certain primitive recursive functions | 19 |
Postulate on spreads the bar theorem | 43 |
Avtorske pravice | |
8 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 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 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 Spr(o ẞER SUBCASE 2.1 term Thence unprovable unrealizable V-elim V-introd Va[Seq(a VxA(x W₁(x Wo(x αεσ αι