scientific article; zbMATH DE number 928934
From MaRDI portal
Publication:4893763
zbMATH Open0859.01002MaRDI QIDQ4893763FDOQ4893763
Authors:
Publication date: 24 September 1996
Title of this publication is not available (Why is that?)
Recommendations
RiemannBourbakiHelmholtzCantorZermeloBrouwerC. MacLaurinPoincaréG. BerkeleyJean Le Rond d'AlembertI. Kant via Gauss
Cited In (84)
- 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?
- 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
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)