Mathematical constructivism - PDFSEARCH.IO - Document Search Engine

Mathematical constructivism
Results: 119

#	Item
111	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-06-21 21:33:01 Metric geometry General topology Calculus Constructive analysis Constructivism Cauchy sequence Errett Bishop Continuous function Reverse mathematics Mathematics Topology Mathematical analysis
112	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-11-18 18:14:48 Computability theory Effective descriptive set theory Functions and mappings Function Reverse mathematics Second-order arithmetic Constructivism Impredicativity Peano axioms Mathematics Mathematical logic Logic
113	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Type theory Mathematical logic QED manifesto Proof theory Mizar system Proof assistant Mathematical proof Constructivism Setoid Mathematics Logic Formal methods
114	PDF Document Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2006-05-25 12:22:34 Mathematical logic Elementary mathematics Epistemology Where Mathematics Comes From Foundations of mathematics Number 0.999... Constructivism Real number Mathematics Philosophy of mathematics Cognitive science
115	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2007-04-17 17:02:53 Mathematical logic Knowledge Mizar system QED manifesto Proof assistant Mathematical proof Automated proof checking Andrzej Trybulec Constructivism Logic Mathematics Formal methods
116	PDF Document Add to Reading List Source URL: hlombardi.free.fr Language: English - Date: 2005-07-12 11:30:13 Metric geometry General topology Calculus Constructive analysis Constructivism Cauchy sequence Errett Bishop Continuous function Reverse mathematics Mathematics Topology Mathematical analysis
117	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2011-06-02 20:33:30 Mathematical constructivism Proof theory Intuitionism Non-classical logic Propositional calculus Realizability Intuitionistic logic Curry–Howard correspondence Dialectica interpretation Logic Mathematical logic Mathematics
118	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-12-13 20:01:59 Mathematical constructivism Quantification Functions and mappings Computability theory Intuitionism Universal quantification Constructivism Interpretation Intuitionistic logic Mathematical logic Logic Mathematics
119	Untitled Add to Reading List Source URL: aran.library.nuigalway.ie Language: English - Date: 2010-05-20 10:04:40 Computability theory Mathematical structures Epistemology Mathematical logic General equilibrium theory Brouwer fixed-point theorem Constructivism Bolzano–Weierstrass theorem Church–Turing thesis Mathematics Topology Algebra

UPDATE