Intuitionism - PDFSEARCH.IO - Document Search Engine

Intuitionism
Results: 125

#	Item
11	A note on the monotone functional interpretation Ulrich Kohlenbach∗ Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany April 18, 2011 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2011-04-18 10:49:58 Proof theory Computability theory Dialectica interpretation Intuitionism Symbol operator Primitive recursive functional
12	G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Fachbereich Mathematik Technische Universit¨ at Darmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-02-16 11:06:50 Proof theory Constructivism Intuitionism Metalogic Predicate logic Primitive recursive functional Realizability Substitution First-order logic Interpretation Propositional calculus Quantifier
13	Math. Log. Quart, 1 – 4 Mathematical Logic Quarterly c WILEY-VCH Verlag Berlin GmbH 2001 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2007-01-13 09:21:39 Dialectica interpretation Intuitionism Proof theory Sheaf Product rule Portable character set
14	Intuitionism, Generalized Computability and Effective Operations Jaap van Oosten Department of Mathematics, Utrecht University Heyting Day, February 27, 2015 Add to Reading List Source URL: phil.uu.nl Language: English - Date: 2015-03-04 09:53:17
15	A review of the Curry-Howard-De Bruijn formulas-as-types interpretation Herman Geuvers Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2009-05-27 06:08:40 Mathematics Philosophy of mathematics Logic Philosophy Mathematical logic Epistemology Formal sciences Constructivism Foundations of mathematics Intuitionism Finitary Formalism
16	Intuitionistic Mathematics and Realizability in the Physical World Andrej Bauer University of Ljubljana January 18, 2012 Abstract Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-03-04 10:52:34 Constructivism Logic Mathematics Abstraction Realizability Intuitionistic logic Infinitesimal Interpretation BrouwerHeytingKolmogorov interpretation Intuitionism Calculus Negation
17	Liberal Neutrality: A Compelling and Radical Principle Gerald F. Gaus 1 Introductory Compared to other debates in contemporary political philosophy, the light-to-heat Add to Reading List Source URL: www.gaus.biz Language: English - Date: 2009-08-23 20:04:53 Ethics Philosophy Academia Social philosophy Philosophy of life Meta-ethics Analytic philosophers Deontological ethics Moral reasoning Utilitarianism Ethical intuitionism John Rawls
18	PDF Document Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2010-03-08 16:56:19 Philosophy Epistemology Cognitive science Democracy Rational choice theory Communication Deliberative democracy Direct democracy Ethical intuitionism Reason Rationality Argumentation theory
19	The University of Calgary Department of Philosophy PhilosophyPHILOSOPHY OF MATHEMATICS Winter 2005 — Richard Zach Add to Reading List Source URL: ucalgary.ca Language: English - Date: 2008-10-27 16:48:35 Philosophers of mathematics Analytic philosophers Mathematical logic Epistemology Foundations of mathematics Paul Benacerraf Intuitionism Gottlob Frege Logicism Mathematics Philosophy Philosophy of mathematics
20	G¨odel’s interpretation of intuitionism W. W. Tait∗ Abstract G¨odel regarded the Dialectica interpretation as giving constructive content to intuitionism, which otherwise failed to meet reasonable conditions of con Add to Reading List Source URL: home.uchicago.edu Language: English - Date: 2006-04-08 16:37:11

UPDATE