The crisis in contemporary mathematics
From MaRDI portal
Publication:1238733
DOI10.1016/0315-0860(75)90113-5zbMath0361.02001OpenAlexW1986047034MaRDI QIDQ1238733
Publication date: 1975
Published in: Historia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0315-0860(75)90113-5
Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03F99)
Related Items (17)
A constructive real projective plane ⋮ A footnote to ``The crisis in contemporary mathematics ⋮ A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography ⋮ Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus ⋮ To be or not to be constructive, that is not the question ⋮ Book review of: D. van Dalen, L. E. J. Brouwer. Topologist, intuitionist, philosopher. How mathematics is rooted in life ⋮ A predicative completion of a uniform space ⋮ The uniform boundedness theorem and a boundedness principle ⋮ Two subcategories of apartness spaces ⋮ From Nonstandard Analysis to Various Flavours of Computability Theory ⋮ Toward a clarity of the extreme value theorem ⋮ Proofs and retributions, or: why Sarah can't take limits ⋮ Linearity and Reflexivity in the Growth of Mathematical Knowledge ⋮ Quasi-apartness and neighbourhood spaces ⋮ A computer-verified monadic functional implementation of the integral ⋮ Mathematics and society: some historical considerations and pedagogical implications ⋮ Reverse formalism 16
This page was built for publication: The crisis in contemporary mathematics
