Intuitionism - PDFSEARCH.IO - Document Search Engine

Intuitionism
Results: 125

#	Item
101	KSO 2013: 1 Add to Reading List Source URL: www.kantstudiesonline.net Language: English - Date: 2013-02-26 09:10:44 Immanuel Kant Critique of Practical Reason Categorical imperative Groundwork of the Metaphysic of Morals Reason Pure practical reason Ethical intuitionism Philosophy Deontological ethics Ethics
102	Constructivism Is Difficult Eric Schechter In a recent issue of this M ONTHLY, Fred Richman [8] discussed existence proofs. Add to Reading List Source URL: www.math.vanderbilt.edu Language: English - Date: 2006-08-02 09:45:32 Mathematical logic Epistemology Intuitionism Philosophy of mathematics Constructivism Constructive proof Mathematical proof Constructive analysis Axiom of choice Mathematics Logic Mathematical constructivism
103	100 years of Zermelo’s axiom of choice: what was the problem with it? Per Martin-Löf Add to Reading List Source URL: www.math.kth.se Language: English - Date: 2006-02-08 12:22:57 Set theory Constructive set theory Intuitionism Mathematical constructivism Axiom of choice Zermelo–Fraenkel set theory Constructivism Axiom Function Mathematical logic Mathematics Logic
104	MATH MATTERS Department of Mathematics • Cornell University • Ithaca NY Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2006-08-21 15:21:44 Proof theory Epistemology Mathematical constructivism Non-classical logic Philosophical logic Sequent Rick Durrett Intuitionism Modal logic Logic Mathematical logic Mathematics
105	Two Constructivist Aspects of Category Theory Add to Reading List Source URL: www.cwru.edu Language: English - Date: 2011-07-29 14:32:40 Mathematical constructivism Intuitionism Category theory Higher category theory Constructivism Topos Axiom of choice Intuitionistic logic Category Mathematics Mathematical logic Logic
106	Emmy Noether and Hermann Weyl.∗ by Peter Roquette January 28, 2008 Add to Reading List Source URL: www.rzuser.uni-heidelberg.de Language: English - Date: 2008-01-28 03:41:37 Emmy Noether Max Noether Hermann Weyl Intuitionism David Hilbert Bartel Leendert van der Waerden Luitzen Egbertus Jan Brouwer Abstract algebra Paul Gordan Mathematics Academia Number theorists
107	Journ. Symb. Logic, [removed], 1174–1150. Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-04-15 09:46:42 Mathematical logic Epistemology Intuitionism Bar induction Mathematical induction Luitzen Egbertus Jan Brouwer Indecomposable continuum Indecomposability Constructivism Mathematics Mathematical constructivism Logic
108	CONSTRUCTIVISM AND PROOF THEORY A.S.Troelstra, ILLC, University van Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, Netherlands Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2004-07-23 05:38:06 Mathematics Proof theory Intuitionism Epistemology Philosophy of mathematics Intuitionistic logic Heyting arithmetic Constructivism Realizability Logic Mathematical logic Mathematical constructivism
109	being abandoned. Let us analyse some of these events and issues in greater detail. Add to Reading List Source URL: personal.us.es Language: English - Date: 2009-07-10 08:53:39 Mathematical logic Logicism Foundations of mathematics Intuitionism Set theory Impredicativity Constructivism Axiomatic system Axiom of choice Mathematics Logic Philosophy of mathematics
110	Moral Knowledge and Experience1    Sarah McGrath  Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2010-10-09 17:22:02 Epistemology Branches of philosophy Philosophy of science Dichotomies Moral sense theory Morality Experience Is–ought problem Ethical intuitionism Philosophy Meta-ethics Ethics

UPDATE