The following pages link to (Q4388951):
Displaying 40 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- 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 (Q346664) (← links)
- Different senses of finitude: an inquiry into Hilbert's finitism (Q375340) (← links)
- The mentor of Alan Turing: Max Newman (1897--1984) as a logician (Q384416) (← links)
- On the concept of finitism (Q510710) (← links)
- Consistency, models, and soundness (Q551223) (← links)
- Information, possible worlds and the cooptation of scepticism (Q625697) (← links)
- Inquisitive logic (Q626493) (← links)
- Continuum, name and paradox (Q707899) (← links)
- Hilbert, logicism, and mathematical existence (Q1036075) (← links)
- Living mathematics: Poincaré and Weyl in context (Q1620879) (← links)
- Intuitionism and effective descriptive set theory (Q1688967) (← links)
- Carnap's early metatheory: scope and limits (Q1708750) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← links)
- Formalism and Hilbert's understanding of consistency problems (Q2042732) (← links)
- An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper (Q2070432) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Brouwer's intuitionism vis à vis Kant's intuition and imagination (Q2268038) (← links)
- Truth, reflection and hierarchies (Q2386109) (← links)
- Hilbert's objectivity (Q2447812) (← links)
- Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems (Q2757974) (← links)
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
- TWO (OR THREE) NOTIONS OF FINITISM (Q3550708) (← links)
- Balancing Necessity and Fallibilism: Charles Sanders Peirce on the Status of Mathematics and its Intersection with the Inquiry into Nature (Q3627819) (← links)
- Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices (Q4912995) (← links)
- Why Predicative Sets? (Q5049037) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting (Q5208120) (← links)
- On the Motives for Proof Theory (Q5213608) (← links)
- Constructibility and Geometry (Q5213630) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- Semantics and Proof Theory of the Epsilon Calculus (Q5224489) (← links)
- Gödel and Intuitionism (Q5250219) (← links)
- Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections (Q5253927) (← links)
- A New–old Characterisation of Logical Knowledge (Q5497107) (← links)
- Logic programming (Q6602251) (← links)
- On set theories and modernism (Q6623918) (← links)
- Mathematical modernism, goal or problem? The opposing views of Felix Hausdorff and Hermann Weyl (Q6623919) (← links)
