scientific article; zbMATH DE number 928934
From MaRDI portal
Publication:4893763
zbMath0859.01002MaRDI QIDQ4893763
No author found.
Publication date: 24 September 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
RiemannZermeloHelmholtzBrouwerCantorBourbakiPoincaréC. MacLaurinG. BerkeleyJean Le Rond d'AlembertI. Kant via Gauss
Related Items (75)
PREDICATIVISM AS A FORM OF POTENTIALISM ⋮ Hilbert's Programs: 1917–1922 ⋮ TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY ⋮ Why Euclid's geometry brooked no doubt: J. H. Lambert on certainty and the existence of models ⋮ M ⋮ Why Predicative Sets? ⋮ ON THE UNCOUNTABILITY OF ⋮ Yablo's paradox in second-order languages: consistency and unsatisfiability ⋮ The modernity of Dedekind's anticipations contained in \textit{What are numbers and what are they good for?} ⋮ The Two Sides of Modern Axiomatics: Dedekind and Peano, Hilbert and Bourbaki ⋮ Proofs as Objects ⋮ THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES ⋮ Theorems as Constructive Visions ⋮ A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography ⋮ Beppo Levi's analysis of the paradoxes ⋮ 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 ⋮ The curious neglect of geometry in modern philosophies of mathematics ⋮ The mentor of Alan Turing: Max Newman (1897--1984) as a logician ⋮ Towards completeness: Husserl on theories of manifolds 1890--1901 ⋮ Set Theory and Structures ⋮ Intuitionism and effective descriptive set theory ⋮ Set-theoretic foundations ⋮ On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others ⋮ On Lambert quadrilaterals and why they cannot be diagrams (according to Lambert) ⋮ Practical reasoning and the witnessably rigorous proof ⋮ What is worthy of investigation? Philosophical attitudes and their impact on mathematical development by the example of discovering 10-adic numbers ⋮ Grundlagen, Section 64: Frege's Discussion of Definitions by Abstraction in Historical Context ⋮ Absence perception and the philosophy of zero ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ What's right with a syntactic approach to theories and models? ⋮ Metalogic, Schopenhauer and Universal Logic ⋮ Riemann on Geometry, Physics, and Philosophy—Some Remarks ⋮ Cantor on Infinitesimals. Historical and Modern Perspective ⋮ Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950 ⋮ Hilbert's objectivity ⋮ The foundational aspects of Gauss's work on the hypergeometric, factorial and digamma functions ⋮ Conceptual Confluence in 1936: Post and Turing ⋮ Continuity between Cauchy and Bolzano: issues of antecedents and priority ⋮ Multiverse Conceptions in Set Theory ⋮ Explaining Maximality Through the Hyperuniverse Programme ⋮ Gödel’s Cantorianism ⋮ Remarks on Buzaglo’s Concept Expansion and Cantor’s Transfinite ⋮ The shaping of Dedekind's rigorous mathematics: what do Dedekind's drafts tell us about his ideal of rigor? ⋮ Impurity in contemporary mathematics ⋮ On the virtue of categoricity ⋮ On abstraction and the importance of asking the right research questions: could Jordan have proved the Jordan-Hölder theorem? ⋮ Multiverse conceptions in set theory ⋮ CANTORIAN SET THEORY ⋮ Husserl on completeness, definitely ⋮ Peirce's topical theory of continuity ⋮ Husserl and Hilbert on completeness, still ⋮ Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach ⋮ The concept of ``character in Dirichlet's theorem on primes in an arithmetic progression ⋮ Friedman on implicit definition: in search of the Hilbertian heritage in philosophy of science ⋮ Consistency, models, and soundness ⋮ Is mathematics problem solving or theorem proving? ⋮ Kalmár's Argument Against the Plausibility of Church's Thesis ⋮ The metamathematics of ergodic theory ⋮ On the Motives for Proof Theory ⋮ Naturalness in Mathematics ⋮ Putnam on Mathematics as Modal Logic ⋮ David Hilbert and the foundations of the theory of plane area ⋮ WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940 ⋮ Zermelo's Analysis of ‘General Proposition’ ⋮ Hilbert, logicism, and mathematical existence ⋮ Hilbert’s Axiomatic Method and His “Foundations of Physics”: Reconciling Causality with the Axiom of General Invariance ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF ⋮ UNIVERSISM AND EXTENSIONS OF V ⋮ Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections ⋮ Mathematical roots of phenomenology: Husserl and the concept of number ⋮ Hilbert's paradox ⋮ The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes
This page was built for publication:
