## The Foundations of Intuitionistic Mathematics: Especially in Relation to Recursive Functions |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Other editions - View all

### Common terms and phrases

2x+P abbreviate Amsterdam apply Assume for 3-elim Assume Seq(a Axiom Schema bar theorem Brouwer's principle choice sequences classical Clause consistency proof containing free continuum contradicting Corollary deduce equivalent finite follows function symbols function variables functor Gödel Hence Heyting inductive definition interpretation introduced intuitionism intuitionistic analysis intuitionistic formal system intuitionistic logic intuitionistic mathematics intuitionistic predicate calculus intuitionistic system Kleene Kreisel Lemma lh(a math metamathematical natural numbers notation number-theoretic functions numeralwise express omitting one-place number-theoretic functions partial recursive function past secured Postulate Group preparatory to 3-elim prime formula primitive recursive function prior to 3-elim proof propositional prove pſ'P pſb quantifiers real numbers realization function realizes-P recursive predicate reductio ad absurdum refute Remark result sequence numbers Similarly special recursive Spr(a substitution term Thence unprovable unrealizable V B(x V-elim V-introd Vaſa Vaſo Vaſseq(a vertex VxA(x Wo(x