Book contents
- Frontmatter
- Contents
- Preface
- Synopsis
- 1 Introduction
- 2 Logical foundations
- 3 Avoiding Russell's paradox
- 4 Further axioms
- 5 Relations and order
- 6 Ordinal numbers and the Axiom of Infinity
- 7 Infinite arithmetic
- 8 Cardinal numbers
- 9 The Axiom of Choice and the Continuum Hypothesis
- 10 Models
- 11 From Gödel to Cohen
- A Peano Arithmetic
- B Zermelo–Fraenkel set theory
- C Gödel's Incompleteness Theorems
- Bibliography
- Index
- References
Book contents
- Frontmatter
- Contents
- Preface
- Synopsis
- 1 Introduction
- 2 Logical foundations
- 3 Avoiding Russell's paradox
- 4 Further axioms
- 5 Relations and order
- 6 Ordinal numbers and the Axiom of Infinity
- 7 Infinite arithmetic
- 8 Cardinal numbers
- 9 The Axiom of Choice and the Continuum Hypothesis
- 10 Models
- 11 From Gödel to Cohen
- A Peano Arithmetic
- B Zermelo–Fraenkel set theory
- C Gödel's Incompleteness Theorems
- Bibliography
- Index
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- The Logic of Infinity , pp. 429 - 461Publisher: Cambridge University PressPrint publication year: 2014
References
[2] Non-Well-Founded Sets. Stanford University Center for the Study of Language and Information Lecture Notes no. 14, 1988.Google Scholar
[4] Archimedes. The Works of Archimedes.Rough Draft Printing, 2007. (First edition 1897.)
[5] . Metaphysics: Books Г, δ and E. Translated with notes by C. Kirwan. Clarendon Press, 1971.Google Scholar
[7] The Opus Majus of Roger Bacon. Translated by R. B. Burke. Two Volumes. Kessinger Publishing, 2002.Google Scholar
[9] , , and Essays on the Foundations of Mathematics: dedicated to A. A. Fraenkel on his seventieth anniversary.Magnes Press, Hebrew University, 1966. (Original edition 1962.)Google Scholar
[12] Topics in Set Theory: Lebesgue measurability, large cardinals, forcing axioms, rho-functions. Vol. 1476 of Lecture Notes in Mathematics. Springer, 1991.CrossRefGoogle Scholar
[14] The Development of Mathematics.Courier Dover Publications, 1945. (Original 1940.)Google Scholar
[15] Set Theory: Boolean-Valued Models and Independence Proofs in Set Theory.Clarendon Press, 2005. (Follow-up to the 1977 original.)CrossRefGoogle Scholar
[16] and (eds.) Philosophy of Mathematics: selected readings.Prentice Hall Inc., 1983. (First edition 1964.)Google Scholar
[17] The Analyst, or, A Discourse Addressed to an Infidel Mathematician.J. Tonson, 1734.Google Scholar
[18] Axiomatic Set Theory, with an historical introduction by Abraham A. Fraenkel. Courier Dover Publications, 1991. (First edition 1958.)Google Scholar
[21] Paradoxien des Unendlichen. Translated by Fr. Prihonsky with an historical introduction by D. A. Steele as ‘Paradoxes of the Infinite’. Routledge and Kegan Paul, 1950. (Original 1851.)Google Scholar
[22] An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities.Macmillan, 1854. Reprinted with corrections by Dover Publications, 1958.CrossRefGoogle Scholar
[23] The Unprovability of Consistency: an essay in modal logic.Cambridge University Press, 1979.Google Scholar
[27] The Total Library: non-fiction 1922-1986. Edited by ; translated by , and . Allen Lane, 2000.Google Scholar
[28] Elements of Mathematics: Theory of Sets. Translated from the 1968 Theorie des Ensembles. Springer, 2004.CrossRefGoogle Scholar
[29] Contributions to the Founding of the Theory of Transfinite Numbers. Translated and introduced by . Open Court, 1915.Google Scholar
[30] Mathematics and Logic in History and in Contemporary Thought. Translated from the Italian by . Faber, 1964.Google Scholar
[32] and Conversations on Mind, Matter, and Mathematics. Translated by M. B. DeBevoise. Princeton University Press, 1995.Google Scholar
[33] Set Theory for the Working Mathematician. Cambridge University Press, 1997.CrossRefGoogle Scholar
[36] Functions of One Complex Variable.Springer, Graduate Texts in Mathematics 11, 1978.CrossRefGoogle Scholar
[39] and (eds.) Truth in Mathematics. Clarendon Press, 1998.
[40] (Edited by ) The Autobiography of Charles Darwin, and selected letters. Dover Press 1958. First published in 1892 as Charles Darwin, His Life Told in an Autobiographical Chapter and in a Selected Series ofhis Published Letters. (The source of the quote at the beginning of Section 1.14.)
[41] Georg Cantor: His Mathematics and Philosophy of the Infinite.Harvard University Press, 1979.Google Scholar
[42] (ed.) The Undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions.Raven Press, 1965.
[43] Was Sind und Was Sollen die Zahlen? (What are numbers and what should they be?) Revised, edited and translated by , and . Research Institute for Mathematics, 1995. (Original 1888.)Google Scholar
[44] Formal Logic, or the Calculus of Inference, Necessary and Probable.Taylor and Walton, 1847.Google Scholar
[49] Discourse on Method. Translated by . Macmillan, 1956. (Original French edition 1637.)Google Scholar
[51] Constructibility.Springer, 1984. The constructible universe and its properties.CrossRefGoogle Scholar
[56] Set Theory: an introduction to large cardinals.Elsevier Science Publishing Co. Inc., 1974.Google Scholar
[65] Euclid. Euclid's Elements: all thirteen books complete in one volume. (ed.), (translation). Green Lion Press, 2002.
[66] (ed.) From Kant to Hilbert. A Source Book in the Foundations of Mathematics.Clarendon Press, 2000.
[68] Labyrinth of Thought: a history of set theory and its role in modern mathematics.Birkhiauser, 1999.CrossRefGoogle Scholar
[69] Intuitionistic Logic, Model Theory and Forcing. North-Holland Publishing Co., 1969.Google Scholar
[70] Set Theory with a Universal Set: Exploring an Untyped Universe.Clarendon Press, 1995.Google Scholar
[72] (posthumously), , , Foundations of Set Theory.North-Holland Publishing Co., 1976. (First edition 1958.)Google Scholar
[73] Godel's Theorem: an incomplete guide to its use and abuse.A. K. Peters, 2005.CrossRefGoogle Scholar
[74] The Foundations of Arithmetic: a logico-mathematical enquiry into the concept of number (Die Grundlagen der Arithmetick: eine logische mathematische Untersuchung uber den Begriff der Zahl).Blackwell, 1953.Google Scholar
[75] The Assayer. Translation of Il Saggiatore by S. Drake and C. D. O'Malley in The Controversy on the Comets of 1618.University of Pennsylvania Press, 1960.Google Scholar
[76] Dialogue Concerning the Two Chief World Systems. Translated by S. Drake. Foreword by Albert Einstein. University of California Press, 1967. (Original 1632.)Google Scholar
[77] Two New Sciences.University of Wisconsin Press, 1974. S. Drake's translation of Discorsi e dimostrazioni matematiche, intorno a due nuove scienze, 1638.Google Scholar
[78] Bertrand Russell and the Origins of the Set Theoretic ‘Paradoxes’.Birkhäuser, 1992.CrossRefGoogle Scholar
[79] and (eds.) Translations from the Philosophical Writings of Gottlob Frege.Blackwell, 1952.
[80] (ed.) Mathematics and Mind.Oxford University Press, 1994.
[81] The Consistency of the Continuum Hypothesis.Princeton University Press, 1940. (Published in 1968: notes by George Brown of Giodel s lectures 1938-1939.)Google Scholar
[83] On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Translated by B. Meltzer. Dover, 1992.Google Scholar
[84] (ed.) From the Calculus to Set Theory 1630-1910: An Introductory History.Duckworth, 1980.
[87] An Essay on the Psychology of Invention in the Mathematical Field.Dover, 1954. (Original 1945.)Google Scholar
[91] A Hilbert Space Problem Book. Graduate Texts in Mathematics 19. Springer, 1982.CrossRefGoogle Scholar
[92] and Set Theory and the Structure of Arithmetic.Prentice-Hall International, 1962.Google Scholar
[94] and (eds.) Collected Papers of Charles Sanders Peirce.Harvard University Press, 1932. Reprinted in two volumes in 1974.
[96] Set Theory. Translation of Mengenlehre. American Mathematical Soc., 1957. (Original 1937.)Google Scholar
[100] The Foundations of Geometry.Open Court Publishing Co. 10th revised edition, 1977. (Extended by Paul Bernays.)Google Scholar
[106] David Hume's Critique of Infinity. Brill's Studies in Intellectual History. Brill Academic Publishing, 2000.CrossRefGoogle Scholar
[108] Set Theory. The Third Millenium edition, revised and expanded. Monographs in Mathematics. Springer, 2003.Google Scholar
[110] Selected Essays on the History of Set Theory and Logics (1906-1918). Ivor Grattan-Guinness (ed.). Editrice CLUEB, 1991.Google Scholar
[114] The Higher Infinite: Large cardinals in set theory from their beginnings.Springer, 1994.Google Scholar
[116] The Infinite in Mathematics: logicao-mathematical writings.Reidel, 1978. (Original edition 1930.)CrossRefGoogle Scholar
[119] Abstract Sets and Finite Ordinals. An Introduction to the Study of Set Theory.Pergamon Press, 1961.Google Scholar
[120] Model Theory for Infinitary Logic: logic with countable conjunctions and finite quantifiers.North-Holland Publishing Company, 1971.Google Scholar
[126] Mathematical Thought from Ancient to Modern Times.Oxford University Press, 1990. (Three volume paperback.)Google Scholar
[127] Mathematical Logic and the Foundations of Mathematics. An introductory survey.D. Van Nostrand Co., 1963.Google Scholar
[129] and The Structure of Models of Peano Arithmetic.Oxford University Press, 2006.CrossRefGoogle Scholar
[130] Introduction to Axiomatic Set Theory. Translated from the French by David Miller. Reidel, 1968.Google Scholar
[132] and Set Theory. Translated from the Polish by M. Maczyński. North-Holland, 1968.Google Scholar
[133] Proofs and Refutations: The Logic of Mathematical Discovery.Cambridge University Press, 1976.CrossRefGoogle Scholar
[136] Leęęons sur l'Integration et la Recherche des Fonctions Primitives.Gauthier-Villars, 1904.Google Scholar
[141] The Harvest of a Quiet Eye: a selection of scientific quotations.Institute of Physics, 1977.Google Scholar
[143] Categories for the Working Mathematician. Graduate Texts in Mathematics 5. Springer, 1998.Google Scholar
[145] Model Theory: an introduction, Graduate Texts in Mathematics 217. Springer, 2002.Google Scholar
[146] The Foundations of Geometry and the Non-Euclidean plane. Undergraduate Texts in Mathematics. Springer, 1998.Google Scholar
[147] The Foundations of Mathematics in the Theory of Sets.Cambridge University Press, 2000.Google Scholar
[151] Introduction to a Form of General Analysis. Yale University Press, 1910.CrossRefGoogle Scholar
[152] and (eds.) Studies in the Philosophy of Charles S. Peirce.University of Massachusetts Press, 1933.
[153] Zermelo's Axiom of Choice: Its origins, development and influence.Springer, 1982.CrossRefGoogle Scholar
[154] Foundations of Point Set Theory, American Mathematical Society Colloquium Publications vol. 13, 1970.Google Scholar
[158] Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel.North-Holland Publishing Co., 1952.Google Scholar
[164] The Road to Reality: a complete guide to the laws of the universe.Jonathan Cape, 2004.Google Scholar
[167] Science and Method. English translation by Francis Maitland. Dover, 1914. (Original French edition 1908.)Google Scholar
[168] Reason's Nearest Kin: philosophies of arithmetic from Kant to Carnap.Oxford University Press, 2000.Google Scholar
[170] Set Theory and its Philosophy: a critical introduction.Oxford University Press, 2004.CrossRefGoogle Scholar
[172] From a Logical Point of View: 9 logico-philosophical essays.Harvard University Press, 1953 (fourth printing 2003).Google Scholar
[173] Set Theory and its Logic.Belknap Press, 1969. The elements of logic; transfiniteness; and axiom systems.Google Scholar
[175] Quiddities: An intermittently philosophical dictionary.Harvard University Press, 1987.Google Scholar
[180] Infinity and the Mind: the science and philosophy of the infinite.Birkhauser, 1982.Google Scholar
[192] Foundations without Foundationalism: a case for second-order logic. Oxford Logic Guides 17. Clarendon Press, 1991.Google Scholar
[195] Cardinal and Ordinal Numbers. Monografie Matematyczne, vol. 34. Państwowe Wydawnictwo Naukowe, 1958.Google Scholar
[196] An Introduction to Godel's Theorems. Cambridge introductions to philosophy. Cambridge University Press, 2008.Google Scholar
[201] Four Lectures on Relativity and Space.Kessinger Publishing, 2005. (Original 1923.)Google Scholar
[203] Roads to Infinity: The mathematics of truth and proof.A. K. Peters, 2010.CrossRefGoogle Scholar
[207] and Introduction to Axiomatic Set Theory. Graduate Texts in Mathematics 1. Springer, 1971.CrossRefGoogle Scholar
[208] and Axiomatic Set Theory. Graduate Texts in Mathematics 8. Springer, 1973.CrossRefGoogle Scholar
[211] The Collected Papers of Alfred Tarski. and (eds.). Four volumes. Birkhoauser, 1986.Google Scholar
[212] The Philosophy of Set Theory: an historical introduction to Cantor's paradise.Basil Blackwell, 1989.Google Scholar
[214] Lectures in Logic and Set Theory. Volume 1. Mathematical Logic.Cambridge University Press, 2003.Google Scholar
[215] Lectures in Logic and Set Theory. Volume 2. Set Theory.Cambridge University Press, 2003.Google Scholar
[218] . L. E. J. Brouwer – Topologist, Intuitionist, Philosopher: how mathematics is rooted in life.Springer, 2012.Google Scholar
[219] (ed.) From Frege to Godel: a source book in mathematical logic, 1879-1931.Harvard University Press, 1967.Google Scholar
[225] and Principia Mathematica. Second Edition. Cambridge University Press, Vol I (1925), Vol II (1927), Vol III (1927).Google Scholar
[226] Dialogues of Alfred North Whitehead (recorded by Lucien Price). David R. Godine Publisher, 2001. (Original 1954.)Google Scholar
[228] Lectures on the Foundations of Mathematics. Cambridge 1939: from the notes of , , and . (ed.) Harvester Press, 1976.Google Scholar
[229] Remarks on the Foundations of Mathematics., , , (ed.) Translated from the German by G. E. M. Anscombe. Blackwell, 1978.Google Scholar