Intuitionism - PDFSEARCH.IO - Document Search Engine

Intuitionism
Results: 125

#	Item
121	PDF Document Add to Reading List Source URL: staff.ulsu.ru Language: English - Date: 2009-04-28 06:59:00 Knowledge Sofya Yanovskaya Philosophy of mathematics Nikolai Luzin Logic Philosophy in the Soviet Union Intuitionism Victor Shestakov Adolph P. Yushkevich Mathematics Science Philosophers of mathematics
122	PDF Document Add to Reading List Source URL: publish.uwo.ca Language: English - Date: 2003-03-16 20:21:10 Hermann Weyl Mathematical constructivism Weyl character formula Intuitionism Mathematical logic Continuum Spacetime David Hilbert Exponential sum Mathematics Number theorists Philosophy of mathematics
123	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-06-21 21:36:56 Number theorists Bertrand Russell Epistemology Impredicativity Hermann Weyl Axiom of reducibility Logicism Type theory Intuitionism Mathematics Philosophy of mathematics Mathematical logic
124	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
125	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

UPDATE