scientific article; zbMATH DE number 928934

zbMATH Open0859.01002MaRDI QIDQ4893763FDOQ4893763

Authors:

Publication date: 24 September 1996

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1150714
• From Dedekind to Gödel. Essays on the development of the foundations of mathematics
• scientific article; zbMATH DE number 1993530
• scientific article; zbMATH DE number 1927123

zbMATH Keywords

RiemannBourbakiHelmholtzCantorZermeloBrouwerC. MacLaurinPoincaréG. BerkeleyJean Le Rond d'AlembertI. Kant via Gauss

Mathematics Subject Classification ID

General histories, source books (01A05)

Cited In (84)

• Towards completeness: Husserl on theories of manifolds 1890--1901
• Gödel's cantorianism
• Hilbert's axiomatic method and his ``Foundations of Physics: reconciling causality with the axiom of general invariance
• Hilbert, logicism, and mathematical existence
• Why Euclid's geometry brooked no doubt: J. H. Lambert on certainty and the existence of models
• On the uncountability of \(\mathbb{R}\)
• Yablo's paradox in second-order languages: consistency and unsatisfiability
• Kalmár's argument against the plausibility of Church's thesis
• A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
• Hilbert's objectivity
• Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections
• Title not available (Why is that?)
• Grundlagen, Section 64: Frege's Discussion of Definitions by Abstraction in Historical Context
• Riemann on geometry, physics, and philosophy -- some remarks
• Consistency, models, and soundness
• Universism and extensions of \(V\)
• Continuity between Cauchy and Bolzano: issues of antecedents and priority
• Is mathematics problem solving or theorem proving?
• The foundational aspects of Gauss's work on the hypergeometric, factorial and digamma functions
• NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
• The metamathematics of ergodic theory
• The modernity of Dedekind's anticipations contained in \textit{What are numbers and what are they good for?}
• On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others
• On abstraction and the importance of asking the right research questions: could Jordan have proved the Jordan-Hölder theorem?
• 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
• Mathematical roots of phenomenology: Husserl and the concept of number
• Zermelo's Analysis of ‘General Proposition’
• Proofs as Objects
• The Two Sides of Modern Axiomatics: Dedekind and Peano, Hilbert and Bourbaki
• Hilbert's Programs: 1917–1922
• Multiverse conceptions in set theory
• The curious neglect of geometry in modern philosophies of mathematics
• Hilbert's paradox
• Cantorian set theory
• Naturalness in mathematics
• Explaining maximality through the hyperuniverse programme
• Set Theory and Structures
• Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950
• David Hilbert and the foundations of the theory of plane area
• Transfinite cardinals in paraconsistent set theory
• Beppo Levi's analysis of the paradoxes
• Conceptual Confluence in 1936: Post and Turing
• What's right with a syntactic approach to theories and models?
• 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
• Intuitionism and effective descriptive set theory
• The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes
• Absence perception and the philosophy of zero
• Multiverse conceptions in set theory
• Putnam on mathematics as modal logic
• Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach
• Husserl and Hilbert on completeness, still
• Peirce's topical theory of continuity
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS
• Cantor on infinitesimals. Historical and modern perspective
• On the motives for proof theory
• Impurity in contemporary mathematics
• On the virtue of categoricity
• The shaping of Dedekind's rigorous mathematics: what do Dedekind's drafts tell us about his ideal of rigor?
• The mentor of Alan Turing: Max Newman (1897--1984) as a logician
• Theorems as constructive visions
• Husserl on completeness, definitely
• Set-theoretic foundations
• Remarks on Buzaglo's concept expansion and Cantor's transfinite
• The search for new axioms in the hyperuniverse programme
• The search for new axioms in the hyperuniverse programme
• 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
• PREDICATIVISM AS A FORM OF POTENTIALISM
• Weyl reexamined: ``Das Kontinuum 100 years later
• Peano's geometry: from empirical foundations to abstract development
• The direction-theory of parallels: geometry and philosophy in the age of Kant
• Who's afraid of mathematical Platonism? -- An historical perspective
• What are implicit definitions?
• Metalogic, Schopenhauer and universal logic
• Cantor's Abstractionism and Hume's Principle
• Intuitionist and Classical Dimensions of Hegel’s Hybrid Logic
• A justification for the quantificational Hume principle
• Title not available (Why is that?)
• Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940
• On Lambert quadrilaterals and why they cannot be diagrams (according to Lambert)
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• Let none but geometers enter here
• Why Predicative Sets?

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4893763)