集合論
Zermelo's Axiom of Choice
Douban
Gregory H. Moore
/
Mathematics
publishing house:
Dover Publications
2013
- 3
Everything and More
Douban Skybridge
David Foster Wallace
publishing house:
W. W. Norton & Company
2010
- 10
other title:
Everything and More: A Compact History of Infinity
Is infinity a valid mathematical property or a meaningless abstraction? David Foster Wallace brings his intellectual ambition and characteristic bravura style to the story of how mathematicians have struggled to understand the infinite, from the ancient Greeks to the nineteenth-century mathematical genius Georg Cantor's counterintuitive discovery that there was more than one kind of infinity. Smart, challenging, and thoroughly rewarding, Wallace's tour de force brings immediate and high-profile recognition to the bizarre and fascinating world of higher mathematics.
Gesammelte Abhandlungen mathematischen und philosophischen Inhalts
Douban
Georg Cantor
publishing house:
Springer
2012
- 10
Naive Set Theory
Douban
P. R. Halmos
publishing house:
Springer
1998
- 1
From the Reviews: "...He (the author) uses the language and notation of ordinary informal mathematics to state the basic set-theoretic facts which a beginning student of advanced mathematics needs to know...Because of the informal method of presentation, the book is eminently suited for use as a textbook or for self-study. The reader should derive from this volume a maximum of understanding of the theorems of set theory and of their basic importance in the study of mathematics." - "Philosophy and Phenomenological Research".
The Joy of Sets
Douban
Keith Devlin
publishing house:
Springer
1994
- 6
This text covers the parts of contemporary set theory relevant to other areas of pure mathematics. After a review of "naive" set theory, it develops the Zermelo-Fraenkel axioms of the theory before discussing the ordinal and cardinal numbers. It then delves into contemporary set theory, covering such topics as the Borel hierarchy and Lebesgue measure. A final chapter presents an alternative conception of set theory useful in computer science.