scientific article; zbMATH DE number 3182321
From MaRDI portal
zbMath0112.28101MaRDI QIDQ5719494
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The Jesuits and the method of indivisibles, Cantor and generalized continuum hypotheses may be false, TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY, Mathematics as a quasi-empirical science, Peano's axioms in their historical context, A topological approach to infinity in physics and biophysics, Why Proof? A Historian’s Perspective, H.S.M. Coxeter's theory of accessibility: from Mario Pieri to Marvin Greenberg, Ten misconceptions from the history of analysis and their debunking, The curious neglect of geometry in modern philosophies of mathematics, To be is to be the object of a possible act of choice, Strict finitism and feasibility, Strict finitism and the happy sorites, CARNAP’S DEFENSE OF IMPREDICATIVE DEFINITIONS, Leibniz in Cantor’s Paradise: A Dialogue on the Actual Infinite, A General Setting for Dedekind's Axiomatization of the Positive Integers, Logic, ontology, mathematical practice, Weierstrass's construction of the irrational numbers, Unnamed Item, Dedekind multisets and function shells, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08, The applicability of mathematics as a philosophical problem: mathematization as exploration, Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic, Ramified Frege arithmetic, Towards a computation system based on set theory, Against digital ontology, Geometry and generality in Frege's philosophy of arithmetic., A view of computability on term algebras, Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL, Frege meets Dedekind: A neologicist treatment of real analysis, DEDUCTIVE CARDINALITY RESULTS AND NUISANCE-LIKE PRINCIPLES, Amending Frege's \textit{Grundgesetze der Arithmetik}
