scientific article; zbMATH DE number 1150714
From MaRDI portal
Publication:4388951
zbMath0941.01003MaRDI QIDQ4388951
No author found.
Publication date: 11 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) Collected or selected works; reprintings or translations of classics (01A75) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) Schools of mathematics (01A72) General histories, source books (01A05)
Related Items (38)
Living mathematics: Poincaré and Weyl in context ⋮ Why Predicative Sets? ⋮ Truth, reflection and hierarchies ⋮ 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 ⋮ Different senses of finitude: an inquiry into Hilbert's finitism ⋮ The mentor of Alan Turing: Max Newman (1897--1984) as a logician ⋮ Intuitionism and effective descriptive set theory ⋮ Information, possible worlds and the cooptation of scepticism ⋮ Inquisitive logic ⋮ Logic Discovered and Logic Imposed (A Purim Story) ⋮ Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Carnap's early metatheory: scope and limits ⋮ Hilbert's objectivity ⋮ TWO (OR THREE) NOTIONS OF FINITISM ⋮ A semantic hierarchy for intuitionistic logic ⋮ On the concept of finitism ⋮ Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices ⋮ Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems ⋮ Consistency, models, and soundness ⋮ Continuum, name and paradox ⋮ Brouwer's intuitionism vis à vis Kant's intuition and imagination ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting ⋮ Formalism and Hilbert's understanding of consistency problems ⋮ On the Motives for Proof Theory ⋮ Constructibility and Geometry ⋮ Predicativity and Feferman ⋮ Balancing Necessity and Fallibilism: Charles Sanders Peirce on the Status of Mathematics and its Intersection with the Inquiry into Nature ⋮ WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER ⋮ Semantics and Proof Theory of the Epsilon Calculus ⋮ An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper ⋮ Hilbert, logicism, and mathematical existence ⋮ A New–old Characterisation of Logical Knowledge ⋮ Truth and the philosophy of mathematics ⋮ Gödel and Intuitionism ⋮ Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections ⋮ Structuring co-constructive logic for proofs and refutations
This page was built for publication:
