Ergebnisse der Mathematik und ihrer GrenzgebieteSpringer Verlag., 1985 - 466 pagine |
Sommario
Part One Practice and Philosophy of Constructive Mathematics | 1 |
Examples of Constructive Mathematics 1 The Real Numbers | 3 |
Constructive Reasoning | 5 |
Copyright | |
155 sezioni non visualizzate
Altre edizioni - Visualizza tutto
Parole e frasi comuni
apply argument arithmetic atomic formulae axiom of choice Beeson Brouwer's Chap Church-Rosser theorem Church's thesis classical clauses combinatory concept consider constant constructive mathematics constructive set theory countable defined definition discussion effective operations element EM,+J equivalent example Exercise extension extensional Feferman's theories finite type forcing formal systems free variables given Gödel number graph model Hence implies initial segment integers interpretation intuitionistic iterative sets Kleene's Lemma logic Martin-Löf means metamathematical Metamathematician metric space model of EON modulus natural numbers normal term notation notion numerical existence property pairing power set predicate primitive recursive function principle proof proof-theoretic proposition provable prove q-realizability quantifiers real number recursion theorem recursive mathematics recursive realizability RED(t reduction rule satisfies Scepticus schema separable metric space sequence Significus soundness theorem subset Suppose symbols term models transfinite induction uniformly continuous