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