The Foundations of Intuitionistic Mathematics: Especially in Relation to Recursive Functions |
Other editions - View all
Common terms and phrases
2x+p a₁ abbreviate Amsterdam apply Assume for 3-elim Assume Seq(a Axiom Schema B₁ bar theorem Brouwer's principle choice sequences classical Clause consistency proof containing free continuum contradicting Corollary deduce elim equivalent finite follows function symbols function variables functor Gödel Hence Heyting inductive definition interpretation introd introduced intuitionism intuitionistic analysis intuitionistic formal system intuitionistic logic intuitionistic mathematics intuitionistic predicate calculus intuitionistic system Kleene Kreisel Lemma metamathematical natural numbers notation number-theoretic functions numeralwise express omitting one-place number-theoretic functions Ɔ A(a partial recursive function past secured Postulate Group preparatory to 3-elim prime formula primitive recursive function prior to 3-elim proof propositional prove quantifiers real numbers realization function realizes-Y recursive predicate reductio ad absurdum refute Remark result sequence numbers Similarly special recursive Spr(o ẞER SUBCASE 1.1 substitution term Thence unprovable V-elim V-introd Va[Seq(a vertex VxA(x αεσ αι