scientific article; zbMATH DE number 928934
From MaRDI portal
Publication:4893763
Recommendations
Cited in
(only showing first 100 items - show all)- The metamathematics of ergodic theory
- Hilbert, logicism, and mathematical existence
- Hilbert's paradox
- The modernity of Dedekind's anticipations contained in \textit{What are numbers and what are they good for?}
- Intuitionism and effective descriptive set theory
- Friedman on implicit definition: in search of the Hilbertian heritage in philosophy of science
- 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
- Husserl on completeness, definitely
- Is mathematics problem solving or theorem proving?
- David Hilbert and the foundations of the theory of plane area
- The concept of ``character in Dirichlet's theorem on primes in an arithmetic progression
- Yablo's paradox in second-order languages: consistency and unsatisfiability
- A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
- Beppo Levi's analysis of the paradoxes
- Hilbert's objectivity
- The foundational aspects of Gauss's work on the hypergeometric, factorial and digamma functions
- The curious neglect of geometry in modern philosophies of mathematics
- Absence perception and the philosophy of zero
- Transfinite cardinals in paraconsistent set theory
- Theorems as constructive visions
- Grundlagen, Section 64: Frege's Discussion of Definitions by Abstraction in Historical Context
- Hilbert's axiomatic method and his ``Foundations of Physics: reconciling causality with the axiom of general invariance
- scientific article; zbMATH DE number 3140467 (Why is no real title available?)
- Let none but geometers enter here
- 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
- Weyl reexamined: ``Das Kontinuum 100 years later
- Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940
- Mathematical roots of phenomenology: Husserl and the concept of number
- 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
- Zermelo's Analysis of ‘General Proposition’
- The mentor of Alan Turing: Max Newman (1897--1984) as a logician
- On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others
- Hilbert's Programs: 1917–1922
- Riemann on geometry, physics, and philosophy -- some remarks
- Conceptual Confluence in 1936: Post and Turing
- Cantorian set theory
- scientific article; zbMATH DE number 1843486 (Why is no real title available?)
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
- Universism and extensions of \(V\)
- Why Predicative Sets?
- On the uncountability of \(\mathbb{R}\)
- 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
- Multiverse conceptions in set theory
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
- Metalogic, Schopenhauer and universal logic
- Cantor on infinitesimals. Historical and modern perspective
- Peirce's topical theory of continuity
- Husserl and Hilbert on completeness, still
- Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach
- Continuity between Cauchy and Bolzano: issues of antecedents and priority
- Kalmár's argument against the plausibility of Church's thesis
- On the motives for proof theory
- Naturalness in mathematics
- Putnam on mathematics as modal logic
- Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections
- Set-theoretic foundations
- Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950
- Consistency, models, and soundness
- PREDICATIVISM AS A FORM OF POTENTIALISM
- The search for new axioms in the hyperuniverse programme
- The search for new axioms in the hyperuniverse programme
- Set Theory and Structures
- 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
- 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
- Cantor's Abstractionism and Hume's Principle
- Intuitionist and Classical Dimensions of Hegel’s Hybrid Logic
- What are implicit definitions?
- A justification for the quantificational Hume principle
- On some elliptic generalizations of the Metropolis-Stein-Stein map
- Mathematics and experience
- Reichenbach's empirical axiomatization of relativity
- The practice of finitism: epsilon calculus and consistency proofs in Hilbert's program
- Hilbert's program revisited
- The pragmatism of Hilbert's programme
- Wittgenstein and Brouwer
- The Russellian influence on Hilbert and his school
- Book review of: A. C. Paseau and W. Wrigley, The Euclidean programme
- The temporal continuum
- Maximality principles in the hyperuniverse programme
- Conceptual (and hence mathematical) explanation, conceptual grounding and proof
- Peacock's principle as a conservative strategy
- Potentialism demodalized
- Should computations halt?
- Introduction to special issue on potentialism in the philosophy of mathematics
- A taxonomy for set-theoretic potentialism
- The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes
- Why Euclid's geometry brooked no doubt: J. H. Lambert on certainty and the existence of models
- Towards completeness: Husserl on theories of manifolds 1890--1901
- What's right with a syntactic approach to theories and models?
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)
