DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Classical mathematics
Classical mathematics
Weyl's Predicative Classical Mathematics As a Logic-Enriched
Starting the Dismantling of Classical Mathematics
A Quasi-Classical Logic for Classical Mathematics
Mathematical Languages Shape Our Understanding of Time in Physics Physics Is Formulated in Terms of Timeless, Axiomatic Mathematics
From Constructive Mathematics to Computable Analysis Via the Realizability Interpretation
Foundations of Mathematics from the Perspective of Computer Verification
Gödel's Unpublished Papers on Foundations of Mathematics
Relationships Between Constructive, Predicative and Classical Systems
Hilbert's Program Then And
Logic in Philosophy of Mathematics
Model Theory of Ultrafinitism I: Fuzzy Initial Segments of Arithmetic
A Finitist's Manifesto: Do We Need to Reformulate the Foundations Of
True History of Strict Finitism
Weyl's Predicative Classical Mathematics As a Logic-Enriched
Notes for Maa Minicourse Teaching a Course in the History of Mathematics
Some Aspects of Impredicativity Séminaire De Philosophie Et Mathématiques, 1993, Fascicule 2 « Les Irrationalités De La Logique », , P
Introduction to Constructive Logic and Mathematics
Lectures on the Foundations of Mathematics
Top View
The Theory of the Foundations of Mathematics - 1870 to 1940
Intuitionistic Mathematics and Logic 11
The Philosophies of Mathematics
Proof-Theoretic Semantics for Classical Mathematics
David Hilbert's Lectures of Arithmetic and Logic on the Foundations 19 71
Classical and Constructive Logic
David Hubert and His Mathematical Work
The Crisis in the Foundations of Mathematics
A Defence of Predicativism As a Philosophy of Mathematics
Brown Tackles Important New As Well As Enduring Questions in the Mathematical Sciences
Weyl's Predicative Classical Mathematics As a Logic-Enriched
Numbers and Functions in Hilbert's Finitism
On What There Is in Philosophy of Mathematics
Intuitionism and Philosophy
293038095.Pdf
Error and Predicativity
Carnap's Defense of Impredicative Definitions
Semantic and Mathematical Foundations for Intuitionism
Warning Signs of a Possible Collapse of Contemporary Mathematics
Hilbert's Twenty-Fourth Problem
The Three Crises in Mathematics: Logicism, Intuitionism and Formalism
Meaning in Classical Mathematics: Is It at Odds with Intuitionism?
“Clarifying the Nature of the Infinite”: the Development Of
Constructivism: a Realistic Approach to Math?
A Marriage of Brouwer's Intuitionism and Hilbert's Finitism I: Arithmetic