Mathematical constructivism - PDFSEARCH.IO - Document Search Engine

Mathematical constructivism
Results: 119

#	Item
1	Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2012-06-04 13:35:50 Mathematical logic Logic Automated theorem proving Proof assistants Theoretical computer science Logic in computer science Abstraction Nuprl Constructivism Type theory Mathematical proof Robert Lee Constable
2	A sufficient condition for the continuity of permanental processes with applications to local times of Markov processes Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-03-17 20:22:12 Mathematical analysis Analysis Mathematics Fourier analysis Stochastic processes Approximation theory Constructivism Modulus of continuity It diffusion Differential forms on a Riemann surface
3	ZDM Mathematics Education:295–306 DOIs11858ORIGINAL ARTICLE Bringing forth mathematical concepts: signifying sensorimotor Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-05-03 12:24:06 Educational psychology Cognitive science Learning Educational technology Mathematics education Embodied cognition Embodied design George Lakoff Instructional design Conceptual metaphor Constructivism
4	Emanuele Frittaion Curriculum Vitae 2016 Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2016-05-17 18:40:36 Mathematical logic Mathematics Computability theory Logic Philosophy of mathematics Foundations of mathematics Reverse mathematics Constructivism
5	Effective Uniform Bounds from Proofs in Abstract Functional Analysis Ulrich Kohlenbach Department of Mathematics Darmstadt University of Technology Schlossgartenstraße 7 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 06:38:01 Mathematical analysis Mathematics Operator theory Lipschitz maps Fourier analysis Approximation theory Constructivism Modulus of continuity Limit of a function Continuous function Universal property Contraction
6	Quantum theory Constructive algebra and geometric mathematics Bas Spitters VALS - LRI, Paris-Sud Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-31 04:15:47 Constructivism Structure Mathematics Type theory Logic Constructive proof Axiom of choice Topos Mathematical logic Model theory Topology
7	A complexity analysis of functional interpretations 1 Mircea-Dan HERNEST a,2 and Ulrich KOHLENBACH b,3 a Laboratoire ´ Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 09:24:17 Logic Mathematical logic Proof theory Abstraction Intuitionism Constructivism Logic in computer science Model theory Dialectica interpretation Intuitionistic logic Realizability First-order logic
8	Proof Interpretations with Truth∗ Jaime Gaspar† Paulo Oliva‡ 12 August 2009 Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2011-05-03 06:44:12 Logic Constructivism Mathematical logic Proof theory Abstraction Predicate logic Dependently typed programming Intuitionism Realizability BrouwerHeytingKolmogorov interpretation Intuitionistic logic Quantifier
9	On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:17 Constructivism Mathematics Computability theory Mathematical logic Mathematical proofs Functions and mappings Abstraction Proof theory Realizability Constructive proof Primitive recursive function operator
10	The use of a logical principle of uniform boundedness in analysis Ulrich Kohlenbach Department of Mathematics University of Michigan Ann Arbor Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:33:56 Mathematical analysis Mathematics Analysis Functional analysis Approximation theory Constructivism Fourier analysis Modulus of continuity Uniform boundedness principle Substitution Continuous function