Burali-Forti's paradox: A reappraisal of its origins
From MaRDI portal
Publication:1157318
DOI10.1016/0315-0860(81)90070-7zbMath0471.01011OpenAlexW2005031151WikidataQ55899484 ScholiaQ55899484MaRDI QIDQ1157318
Gregory H. Moore, Alejandro R. Garciadiego
Publication date: 1981
Published in: Historia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0315-0860(81)90070-7
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)
Related Items
WHAT RUSSELL SHOULD HAVE SAID TO BURALI–FORTI ⋮ The Mathematical Development of Set Theory from Cantor to Cohen ⋮ In Praise of Replacement ⋮ The Mathematical Import of Zermelo's Well-Ordering Theorem ⋮ Russell's theory of types, 1901–1910: its complex origins in the unpublished manuscripts ⋮ ‘ich habe mich wohl gehütet, alle patronen auf einmal zu verschießen’. ernst zermelo in göttingen ⋮ Burali-Forti as a purely logical paradox ⋮ In the footsteps of Julius König's paradox ⋮ Extendability and Paradox ⋮ On Russell's vulnerability to Russell's paradox ⋮ Hilbert's logic. From axiomatics to proof theory ⋮ Hilbert, logicism, and mathematical existence ⋮ Hilbert on the infinite: The role of set theory in the evolution of Hilbert's thought ⋮ Hilbert's paradox ⋮ On rewriting the history of the foundations of mathematics at the turn of the century ⋮ The emergence of some of the nonlogical paradoxes of the theory of sets, 1903-1908 ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
Cites Work
- The rediscovery of the Cantor-Dedekind correspondence
- Preliminary notes on the historical significance of quantification and of the axioms of choice in the development of mathematical analysis
- How Bertrand Russell discovered his paradox
- The origins of Zermelo's axiomatization of set theory
- The correspondence between George Cantor and Philip Jourdain
- Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item