scientific article; zbMATH DE number 1150714
From MaRDI portal
Publication:4388951
zbMATH Open0941.01003MaRDI QIDQ4388951FDOQ4388951
Authors:
Publication date: 11 May 1998
Title of this publication is not available (Why is that?)
Recommendations
History of mathematics in the 20th century (01A60) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) Collected or selected works; reprintings or translations of classics (01A75) Schools of mathematics (01A72) General histories, source books (01A05)
Cited In (47)
- Title not available (Why is that?)
- Hilbert, logicism, and mathematical existence
- 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
- Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections
- A semantic hierarchy for intuitionistic logic
- Logic Discovered and Logic Imposed (A Purim Story)
- Consistency, models, and soundness
- Brouwer's intuitionism vis à vis Kant's intuition and imagination
- Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems
- Truth, reflection and hierarchies
- Shaping the enemy: foundational labelling by L.E.J. Brouwer and A. Heyting
- On the concept of finitism
- 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
- Gödel and intuitionism
- ``Mathematics knows no races: a political speech that David Hilbert planned for the ICM in Bologna in 1928
- Predicativity and Feferman
- 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
- Formalism and Hilbert's understanding of consistency problems
- Continuum, name and paradox
- 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
- Title not available (Why is that?)
- Constructibility and Geometry
- 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
- 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
- Foundations of Mathematics in the Twentieth Century
- Information, possible worlds and the cooptation of scepticism
- Different senses of finitude: an inquiry into Hilbert's finitism
- A new-old characterisation of logical knowledge
- Gnomes in the fog. The reception of Brouwer's intuitionism in the 1920s
- Carnap's early metatheory: scope and limits
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
- On the motives for proof theory
- The mentor of Alan Turing: Max Newman (1897--1984) as a logician
- Why Predicative Sets?
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)
