Intuitionism - PDFSEARCH.IO - Document Search Engine

Intuitionism
Results: 125

#	Item
111	Constructive set theory – an overview Benno van den Berg Utrecht University Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2012-09-10 05:26:08 Z notation Constructive set theory Intuitionism Zermelo–Fraenkel set theory Set theory Axiom of choice Axioms of set theory Constructible universe Ordinal analysis Mathematical logic Logic Mathematical constructivism
112	The discovery of E.W. Beth’s semantics for intuitionistic logic A.S. Troelstra and P. van Ulsen Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2001-09-06 10:06:20 Mathematical constructivism Intuitionism Epistemology Philosophy of mathematics Boolean algebra Intuitionistic logic Arend Heyting Heyting arithmetic Negation Logic Mathematical logic Mathematics
113	Constructive Set Theories and their Category-theoretic Models Alex Simpson∗ Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-03-03 11:00:11 Model theory Constructive set theory Intuitionism Mathematical constructivism Constructivism Peano axioms First-order logic Function Interpretation Mathematical logic Mathematics Logic
114	Philosophy and Phenomenological Research Philosophy and Phenomenological Research Add to Reading List Source URL: www-bcf.usc.edu Language: English - Date: 2009-05-27 00:46:57 Ethics Ethical intuitionism Reductionism Anti-realism Dualism Intuitionism Moral realism Metaphysics Ethical naturalism Meta-ethics Philosophy Metaphilosophy
115	PDF Document Add to Reading List Source URL: www.wjh.harvard.edu Language: English - Date: 2010-06-18 20:35:02 Behavior Social philosophy Reasoning Moral psychology Utilitarianism Moral reasoning Reason Social intuitionism Moral Development Morality Ethics Philosophy
116	PDF Document Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-04-15 09:47:15 Propositional calculus Non-classical logic Proof theory Intuitionism Intuitionistic logic Natural deduction Negation First-order logic Law of excluded middle Logic Mathematical logic Mathematical constructivism
117	PDF Document Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-04-15 09:47:38 Epistemology Number theorists Gustav Doetsch Compositio Mathematica Differential geometers Luitzen Egbertus Jan Brouwer Arend Heyting Ludwig Bieberbach Law of excluded middle Mathematics Academia Intuitionism
118	PDF Document Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-07-25 08:46:35 Model theory Sheaf theory Mathematical constructivism Intuitionism Topos Categorical logic Kripke semantics Category theory Interpretation Mathematical logic Logic Mathematics
119	PDF Document Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-10-02 10:18:56 Proof theory Model theory Computability theory Functions and mappings Dialectica interpretation Intuitionism Interpretation Symbol Gödel–Gentzen negative translation Mathematical logic Logic Mathematics
120	PDF Document Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2005-08-18 03:40:42 Mathematical logic Epistemology Infinity Intuitionism Constructivism Foundations of mathematics Hermann Weyl Finitism Georg Cantor Mathematics Philosophy of mathematics Mathematical constructivism

UPDATE