Publication:4692751
From MaRDI portal
zbMath0675.00001MaRDI QIDQ4692751
Publication date: 5 June 1993
00A30: Philosophy of mathematics
01A60: History of mathematics in the 20th century
03A05: Philosophical and critical aspects of logic and foundations
00A06: Mathematics for nonmathematicians (engineering, social sciences, etc.)
01A55: History of mathematics in the 19th century
00A05: Mathematics in general
Related Items
Unnamed Item, Differential Calculus and Nilpotent Real Numbers, The equivalence of NF-style set theories with “tangled” type theories; the construction of ω-models of predicative NF (and more), The strength of Mac Lane set theory, Physical-based models of internal migration, Mathematical pluralism: The case of smooth infinitesimal analysis, The seven virtues of simple type theory, Issues in commonsense set theory, Incompatible empirically equivalent theories: a structural explication., The axiomatization of linear algebra: 1875-1940, Knowledge-based proof planning, `Third' quantization of vacuum Einstein gravity and free Yang-Mills theories, Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship