Constructivism - PDFSEARCH.IO - Document Search Engine

Constructivism
Results: 948

#	Item
861	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
862	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
863	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
864	PANOECONOMICUS, 2010, 2, pp[removed]Received: 17 March 2010. Add to Reading List Source URL: www.doiserbia.nb.rs Language: English - Date: 2010-06-30 05:13:16 Philosophy of mathematics Mathematical logic Epistemology Formal systems Mathematical constructivism John von Neumann Foundations of mathematics Formalism David Hilbert Mathematics Science Logic
865	G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-02-16 11:06:50 Mathematical constructivism Model theory Predicate logic Formal languages Interpretation Realizability First-order logic Gödel–Gentzen negative translation Prenex normal form Logic Mathematical logic Proof theory
866	Natural Visual Programming Languages Add to Reading List Source URL: www.di.unito.it Language: English - Date: 2007-08-03 09:40:34 Educational psychology ToonTalk Constructionism Programming language Constructivism Scratch E-learning Learning Programming paradigm Education Visual programming languages Computing
867	How Does Technology-Enabled Active Learning Affect Undergraduate Students' Understanding of Electromagnetism Concepts? Add to Reading List Source URL: web.mit.edu Language: English - Date: 2005-12-15 21:11:35 Educational technology E-learning Physics education Student-centred learning Service-learning in engineering education Education Educational psychology Constructivism
868	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
869	Constructivist and Structuralist Foundations: Bishop’s and Lawvere’s Theories of Sets Erik Palmgren∗ Add to Reading List Source URL: www2.math.uu.se Language: English - Date: 2009-10-23 05:03:31 Function Category theory Axiom schema of replacement Constructivism Topos Sheaf Axiom of choice Zermelo–Fraenkel set theory Surjective function Mathematics Mathematical logic Functions and mappings
870	30 30 Add to Reading List Source URL: subsite.icu.ac.jp - Date: 2006-01-26 20:44:53 Bathrooms Behavior Social psychology Gender Educational psychology Toilet Constructivism Education Knowledge

UPDATE