scientific article; zbMATH DE number 1150714
From MaRDI portal
Publication:4388951
Recommendations
Cited in
(47)- Why Predicative Sets?
- Hilbert, logicism, and mathematical existence
- scientific article; zbMATH DE number 2185164 (Why is no real title available?)
- Structuring co-constructive logic for proofs and refutations
- Balancing Necessity and Fallibilism: Charles Sanders Peirce on the Status of Mathematics and its Intersection with the Inquiry into Nature
- Hilbert's objectivity
- A semantic hierarchy for intuitionistic logic
- Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections
- Logic Discovered and Logic Imposed (A Purim Story)
- Consistency, models, and soundness
- Brouwer's intuitionism vis à vis Kant's intuition and imagination
- Truth, reflection and hierarchies
- Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems
- On the concept of finitism
- Shaping the enemy: foundational labelling by L.E.J. Brouwer and A. Heyting
- The creating subject, the Brouwer-Kripke schema, and infinite proofs
- Inquisitive logic
- Pluralism and ``bad mathematical theories: challenging our prejudices
- Living mathematics: Poincaré and Weyl in context
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics
- Logic programming
- Weyl reexamined: ``Das Kontinuum 100 years later
- ``Mathematics knows no races: a political speech that David Hilbert planned for the ICM in Bologna in 1928
- Gödel and intuitionism
- Predicativity and Feferman
- Formalism and Hilbert's understanding of consistency problems
- Continuum, name and paradox
- Two (or three) notions of finitism
- Mathematical modernism, goal or problem? The opposing views of Felix Hausdorff and Hermann Weyl
- On set theories and modernism
- The Debate between H.G. Zeuthen and H. Vogt (1909-1915) on the Historical Source of the Knowledge of Irrational Quantities
- Semantics and proof theory of the epsilon calculus
- scientific article; zbMATH DE number 3639576 (Why is no real title available?)
- On A. Ya. Khinchin's paper `Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics' (1926): a translation with introduction and commentary
- Constructibility and Geometry
- An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper
- Intuitionism and effective descriptive set theory
- Truth and the philosophy of mathematics
- Information, possible worlds and the cooptation of scepticism
- Different senses of finitude: an inquiry into Hilbert's finitism
- Foundations of Mathematics in the Twentieth Century
- Gnomes in the fog. The reception of Brouwer's intuitionism in the 1920s
- Carnap's early metatheory: scope and limits
- The mentor of Alan Turing: Max Newman (1897--1984) as a logician
- A new-old characterisation of logical knowledge
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
- On the motives for proof theory
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4388951)
