From Dedekind to Gödel. Essays on the development of the foundations of mathematics
zbMATH Open0841.03001MaRDI QIDQ1900679FDOQ1900679
Authors:
Publication date: 23 October 1995
Published in: Synthese Library (Search for Journal in Brave)
Recommendations
- scientific article; zbMATH DE number 5218487
- scientific article; zbMATH DE number 5218486
- scientific article; zbMATH DE number 3209151
- scientific article; zbMATH DE number 1846036
- Elements of mathematics: from Euclid to Gödel
- scientific article; zbMATH DE number 7238889
- On Dedekind's axiomatic approach to the foundations of mathematics
- scientific article; zbMATH DE number 56197
- Foundations of Mathematics
consistencyprobability theorycontinuityexistencefoundations of mathematicscompletenesscontinuumFregehigher-order logicWeierstrassRamseyconstructionHilbertHusserlKantdescriptive set theoryKroneckertranscendental idealismWeylWittgensteinDedekindBorelTarskiHahnideal elementsFoundations of mathematicsSkolemEssaysnon-euclidean geometryFrege's principleArchimedean complete ordered fieldcorrespondence of Russell and Couturatfree creationFrege's Axiom VFrege's lettersmagnitudesmetalogical relativismparadox of the largest cardinalRussell's ParadoxGödelGödel's incompleteness theorem
Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03) Proceedings of conferences of general interest (00B20)
Cited In (22)
- Title not available (Why is that?)
- Parikh and Wittgenstein
- The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900--1940
- Russell and the Universalist Conception of Logic
- Introduction
- Title not available (Why is that?)
- Philosophical reflection on mathematics in Poland in the interwar period
- The absolute arithmetic continuum and the unification of all numbers great and small
- Title not available (Why is that?)
- Axel Thue in context
- Gödel on Tarski
- PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC
- Title not available (Why is that?)
- On rewriting the history of the foundations of mathematics at the turn of the century
- Gödel and Set Theory
- Abstraction by Embedding and Constraint-Based Design
- Title not available (Why is that?)
- From Dedekind to Zermelo versus Peano to Gödel
- Title not available (Why is that?)
- Foundations for analysis and proof theory
- Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics
- Carnap on extremal axioms, ``completeness of the models, and categoricity
This page was built for publication: From Dedekind to Gödel. Essays on the development of the foundations of mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1900679)
