Zermelo’s Axiom of Choice

Zermelo’s Axiom of Choice PDF Author: G.H. Moore
Publisher: Springer Science & Business Media
ISBN: 1461394783
Category : Mathematics
Languages : en
Pages : 425

Get Book Here

Book Description
This book grew out of my interest in what is common to three disciplines: mathematics, philosophy, and history. The origins of Zermelo's Axiom of Choice, as well as the controversy that it engendered, certainly lie in that intersection. Since the time of Aristotle, mathematics has been concerned alternately with its assumptions and with the objects, such as number and space, about which those assumptions were made. In the historical context of Zermelo's Axiom, I have explored both the vagaries and the fertility of this alternating concern. Though Zermelo's research has provided the focus for this book, much of it is devoted to the problems from which his work originated and to the later developments which, directly or indirectly, he inspired. A few remarks about format are in order. In this book a publication is indicated by a date after a name; so Hilbert 1926, 178 refers to page 178 of an article written by Hilbert, published in 1926, and listed in the bibliography.

Zermelo’s Axiom of Choice

Zermelo’s Axiom of Choice PDF Author: G.H. Moore
Publisher: Springer Science & Business Media
ISBN: 1461394783
Category : Mathematics
Languages : en
Pages : 425

Get Book Here

Book Description
This book grew out of my interest in what is common to three disciplines: mathematics, philosophy, and history. The origins of Zermelo's Axiom of Choice, as well as the controversy that it engendered, certainly lie in that intersection. Since the time of Aristotle, mathematics has been concerned alternately with its assumptions and with the objects, such as number and space, about which those assumptions were made. In the historical context of Zermelo's Axiom, I have explored both the vagaries and the fertility of this alternating concern. Though Zermelo's research has provided the focus for this book, much of it is devoted to the problems from which his work originated and to the later developments which, directly or indirectly, he inspired. A few remarks about format are in order. In this book a publication is indicated by a date after a name; so Hilbert 1926, 178 refers to page 178 of an article written by Hilbert, published in 1926, and listed in the bibliography.

The Axiom of Choice

The Axiom of Choice PDF Author: Thomas J. Jech
Publisher: Courier Corporation
ISBN: 0486466248
Category : Mathematics
Languages : en
Pages : 226

Get Book Here

Book Description
Comprehensive and self-contained text examines the axiom's relative strengths and consequences, including its consistency and independence, relation to permutation models, and examples and counterexamples of its use. 1973 edition.

Equivalents of the Axiom of Choice

Equivalents of the Axiom of Choice PDF Author: Herman Rubin
Publisher: Elsevier
ISBN: 0444533990
Category : Axiom of choice
Languages : en
Pages : 159

Get Book Here

Book Description


Quine, New Foundations, and the Philosophy of Set Theory

Quine, New Foundations, and the Philosophy of Set Theory PDF Author: Sean Morris
Publisher: Cambridge University Press
ISBN: 110715250X
Category : History
Languages : en
Pages : 221

Get Book Here

Book Description
Provides an accessible mathematical and philosophical account of Quine's set theory, New Foundations.

The Axiom of Choice

The Axiom of Choice PDF Author: John Lane Bell
Publisher: Studies in Logic. Mathematical
ISBN: 9781904987543
Category : Mathematics
Languages : en
Pages : 248

Get Book Here

Book Description
This book presents an overview of the development of the Axiom of Choice since its introduction by Zermelo at the beginning of the last century. The book surveys the Axiom of Choice from three perspectives. The first, or mathematical perspective, is that of the "working mathematician". This perspective brings into view the manifold applications of the Axiom of Choice-usually in the guise of Zorn s Lemma- in a great variety of areas of mathematics. The second, foundational, perspective is that of the logician or constructive mathematician concerned with the foundational status of the Axiom of Choice. The third, topos-theoretical, perspective is that taken by the mathematician or logician investigating the role of the Axiom of Choice in topos theory. Certain topics-for instance mathematical applications of the Axiom, and its relationship with logic-are discussed in considerable detail. Others-notably the consistency and independence of the Axiom of the usual systems of set theory-are given no more than summary treatment, the justification here being that these topics have been given full expositions elsewhere. It is hoped that the book will be of interest to logicians and mathematicians, both professional and prospective.

The Mathematics of Logic

The Mathematics of Logic PDF Author: Richard W. Kaye
Publisher: Cambridge University Press
ISBN: 1139467212
Category : Mathematics
Languages : en
Pages : 12

Get Book Here

Book Description
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with König's Lemma, and progressing via order relations, Zorn's Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis.

Axiomatic Set Theory

Axiomatic Set Theory PDF Author: Patrick Suppes
Publisher: Courier Corporation
ISBN: 0486136876
Category : Mathematics
Languages : en
Pages : 290

Get Book Here

Book Description
Geared toward upper-level undergraduates and graduate students, this treatment examines the basic paradoxes and history of set theory and advanced topics such as relations and functions, equipollence, more. 1960 edition.

Principia Mathematica

Principia Mathematica PDF Author: Alfred North Whitehead
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 688

Get Book Here

Book Description


Discrete Mathematics - Proof Techniques And Mathematical Structures

Discrete Mathematics - Proof Techniques And Mathematical Structures PDF Author: Robert Clark Penner
Publisher: World Scientific Publishing Company
ISBN: 9813105615
Category : Mathematics
Languages : en
Pages : 487

Get Book Here

Book Description
This book offers an introduction to mathematical proofs and to the fundamentals of modern mathematics. No real prerequisites are needed other than a suitable level of mathematical maturity. The text is divided into two parts, the first of which constitutes the core of a one-semester course covering proofs, predicate calculus, set theory, elementary number theory, relations, and functions, and the second of which applies this material to a more advanced study of selected topics in pure mathematics, applied mathematics, and computer science, specifically cardinality, combinatorics, finite-state automata, and graphs. In both parts, deeper and more interesting material is treated in optional sections, and the text has been kept flexible by allowing many different possible courses or emphases based upon different paths through the volume.

A Book of Set Theory

A Book of Set Theory PDF Author: Charles C Pinter
Publisher: Courier Corporation
ISBN: 0486497089
Category : Mathematics
Languages : en
Pages : 259

Get Book Here

Book Description
"This accessible approach to set theory for upper-level undergraduates poses rigorous but simple arguments. Each definition is accompanied by commentary that motivates and explains new concepts. A historical introduction is followed by discussions of classes and sets, functions, natural and cardinal numbers, the arithmetic of ordinal numbers, and related topics. 1971 edition with new material by the author"--