Zermelo’s Axiom of Choice PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Zermelo’s Axiom of Choice PDF full book. Access full book title Zermelo’s Axiom of Choice by G.H. Moore. Download full books in PDF and EPUB format.
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.
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.
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.
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.
Author: Melanie Frappier
Publisher: Springer Science & Business Media
ISBN: 9400725825
Category : Science
Languages : en
Pages : 268
Get Book Here
Book Description
The essays in this volume concern the points of intersection between analytic philosophy and the philosophy of the exact sciences. More precisely, it concern connections between knowledge in mathematics and the exact sciences, on the one hand, and the conceptual foundations of knowledge in general. Its guiding idea is that, in contemporary philosophy of science, there are profound problems of theoretical interpretation-- problems that transcend both the methodological concerns of general philosophy of science, and the technical concerns of philosophers of particular sciences. A fruitful approach to these problems combines the study of scientific detail with the kind of conceptual analysis that is characteristic of the modern analytic tradition. Such an approach is shared by these contributors: some primarily known as analytic philosophers, some as philosophers of science, but all deeply aware that the problems of analysis and interpretation link these fields together.
Author: V.A. Sadovnichii
Publisher: Springer Science & Business Media
ISBN: 9780306110283
Category : Mathematics
Languages : en
Pages : 422
Get Book Here
Book Description
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.
Author: A. A. Kirillov
Publisher: Springer Science & Business Media
ISBN: 1461381533
Category : Mathematics
Languages : en
Pages : 351
Get Book Here
Book Description
Even the simplest mathematical abstraction of the phenomena of reality the real line-can be regarded from different points of view by different mathematical disciplines. For example, the algebraic approach to the study of the real line involves describing its properties as a set to whose elements we can apply" operations," and obtaining an algebraic model of it on the basis of these properties, without regard for the topological properties. On the other hand, we can focus on the topology of the real line and construct a formal model of it by singling out its" continuity" as a basis for the model. Analysis regards the line, and the functions on it, in the unity of the whole system of their algebraic and topological properties, with the fundamental deductions about them obtained by using the interplay between the algebraic and topological structures. The same picture is observed at higher stages of abstraction. Algebra studies linear spaces, groups, rings, modules, and so on. Topology studies structures of a different kind on arbitrary sets, structures that give mathe matical meaning to the concepts of a limit, continuity, a neighborhood, and so on. Functional analysis takes up topological linear spaces, topological groups, normed rings, modules of representations of topological groups in topological linear spaces, and so on. Thus, the basic object of study in functional analysis consists of objects equipped with compatible algebraic and topological structures.
Author: Paul Howard
Publisher: American Mathematical Soc.
ISBN: 0821809776
Category : Mathematics
Languages : en
Pages : 442
Get Book Here
Book Description
This book, Consequences of the Axiom of Choice, is a comprehensive listing of statements that have been proved in the last 100 years using the axiom of choice. Each consequence, also referred to as a form of the axiom of choice, is assigned a number. Part I is a listing of the forms by number. In this part each form is given together with a listing of all statements known to be equivalent to it (equivalent in set theory without the axiom of choice). In Part II the forms are arranged by topic. In Part III we describe the models of set theory which are used to show non-implications between forms. Part IV, the notes section, contains definitions, summaries of important sub-areas and proofs that are not readily available elsewhere. Part V gives references for the relationships between forms and Part VI is the bibliography. Part VII is contained on the floppy disk which is enclosed in the book. It contains a table with form numbers as row and column headings. The entry in the table in row $n$, column $k$ gives the status of the implication ``form $n$ implies form $k$''. Software for easily extracting information from the table is also provided. Features: complete summary of all the work done in the last 100 years on statements that are weaker than the axiom of choice software provided gives complete, convenient access to information about relationships between the various consequences of the axiom of choice and about the models of set theory descriptions of more than 100 models used in the study of the axiom of choice an extensive bibliography About the software: Tables 1 and 2 are accessible on the PC-compatible software included with the book. In addition, the program maketex.c in the software package will create TeX files containing copies of Table 1 and Table 2 which may then be printed. (Tables 1 and 2 are also available at the authors' Web sites: http://www.math.purdue.edu/$\sim$jer/ or http://www.emunix.emich.edu/$\sim$phoward/.) Detailed instructions for setting up and using the software are included in the book's Introduction, and technical support is available directly from the authors.
Author: Peter J. Cameron
Publisher: Cambridge University Press
ISBN: 110739337X
Category : Mathematics
Languages : en
Pages : 372
Get Book Here
Book Description
Combinatorics is a subject of increasing importance, owing to its links with computer science, statistics and algebra. This is a textbook aimed at second-year undergraduates to beginning graduates. It stresses common techniques (such as generating functions and recursive construction) which underlie the great variety of subject matter and also stresses the fact that a constructive or algorithmic proof is more valuable than an existence proof. The book is divided into two parts, the second at a higher level and with a wider range than the first. Historical notes are included which give a wider perspective on the subject. More advanced topics are given as projects and there are a number of exercises, some with solutions given.
Author: Igor Lavrov
Publisher: Springer Science & Business Media
ISBN: 1461501857
Category : Mathematics
Languages : en
Pages : 288
Get Book Here
Book Description
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic.
