Zermelo's Axiom of Choice

Zermelo's Axiom of Choice PDF Author: Gregory H. Moore
Publisher: Courier Corporation
ISBN: 0486488411
Category : Mathematics
Languages : en
Pages : 410

View

Book Description
"This book chronicles the work of mathematician Ernst Zermelo (1871-1953) and his development of set theory's crucial principle, the axiom of choice. It covers the axiom's formulation during the early 20th century, the controversy it engendered, and its current central place in set theory and mathematical logic. 1982 edition"--

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 : 412

View

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 Well-ordering Theorem and the Axiom of Choice

Zermelo's Well-ordering Theorem and the Axiom of Choice PDF Author: Craig Nicholas Bach
Publisher:
ISBN:
Category :
Languages : en
Pages : 56

View

Book Description


Gödel's Theorems and Zermelo's Axioms

Gödel's Theorems and Zermelo's Axioms PDF Author: Lorenz Halbeisen
Publisher: Springer Nature
ISBN: 3030522792
Category : Mathematics
Languages : en
Pages : 236

View

Book Description
This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel’s classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel’s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is dedicated to an introduction into modern axiomatic set theory based on the Zermelo’s axioms, containing a presentation of Gödel’s constructible universe of sets. A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers. The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory. Each chapter concludes with a list of exercises.

Ernst Zermelo

Ernst Zermelo PDF Author: Heinz Dieter Ebbinghaus
Publisher: Springer
ISBN: 3662479974
Category : Mathematics
Languages : en
Pages : 384

View

Book Description
This biography sheds light on all facets of the life and the achievements of Ernst Zermelo (1871-1953). Zermelo is best-known for the statement of the axiom of choice and his axiomatization of set theory. However, he also worked in applied mathematics and mathematical physics. His dissertation, for example, promoted the calculus of variations, and he created the pivotal method in the theory of rating systems. The presentation of Zermelo's work explores motivations, aims, acceptance, and influence. Selected proofs and information gleaned from letters add to the analysis. The description of his personality owes much to conversations with his late wife Gertrud. This second edition provides additional information. The system of citations has been adapted to that of Zermelo's Collected Works in order to facilitate side-by-side reading and thus profit from the thorough commentaries written for the Collected Works by experts in the respective fields. All facts presented are documented by appropriate sources. The biography contains nearly 50 photos and facsimiles.

Cantorian Set Theory and Limitation of Size

Cantorian Set Theory and Limitation of Size PDF Author: Michael Hallett
Publisher: Oxford University Press
ISBN: 9780198532835
Category : Mathematics
Languages : en
Pages : 343

View

Book Description
Cantor's ideas formed the basis for set theory and also for the mathematical treatment of the concept of infinity. The philosophical and heuristic framework he developed had a lasting effect on modern mathematics, and is the recurrent theme of this volume. Hallett explores Cantor's ideas and, in particular, their ramifications for Zermelo-Frankel set theory.

Encyclopaedia of Mathematics

Encyclopaedia of Mathematics PDF Author: Michiel Hazewinkel
Publisher: Springer Science & Business Media
ISBN: 9401512337
Category : Mathematics
Languages : en
Pages : 536

View

Book Description
This ENCYCLOPAEDIA OF MATHEMATICS aims to be a reference work for all parts of mathe matics. It is a translation with updates and editorial comments of the Soviet Mathematical Encyclopaedia published by 'Soviet Encyclopaedia Publishing House' in five volumes in 1977-1985. The annotated translation consists of ten volumes including a special index volume. There are three kinds of articles in this ENCYCLOPAEDIA. First of all there are survey-type articles dealing with the various main directions in mathematics (where a rather fme subdivi sion has been used). The main requirement for these articles has been that they should give a reasonably complete up-to-date account of the current state of affairs in these areas and that they should be maximally accessible. On the whole, these articles should be understandable to mathematics students in their first specialization years, to graduates from other mathematical areas and, depending on the specific subject, to specialists in other domains of science, en gineers and teachers of mathematics. These articles treat their material at a fairly general level and aim to give an idea of the kind of problems, techniques and concepts involved in the area in question. They also contain background and motivation rather than precise statements of precise theorems with detailed definitions and technical details on how to carry out proofs and constructions. The second kind of article, of medium length, contains more detailed concrete problems, results and techniques.

Ernst Zermelo - Collected Works/Gesammelte Werke

Ernst Zermelo - Collected Works/Gesammelte Werke PDF Author: Ernst Zermelo
Publisher: Springer Science & Business Media
ISBN: 3540793844
Category : Mathematics
Languages : en
Pages : 654

View

Book Description
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and best-known for the first formulation of the axiom of choice. However, his papers include also pioneering work in applied mathematics and mathematical physics. This edition of his collected papers will consist of two volumes. Besides providing a biography, the present Volume I covers set theory, the foundations of mathematics, and pure mathematics and is supplemented by selected items from his Nachlass and part of his translations of Homer's Odyssey. Volume II will contain his work in the calculus of variations, applied mathematics, and physics. The papers are each presented in their original language together with an English translation, the versions facing each other on opposite pages. Each paper or coherent group of papers is preceded by an introductory note provided by an acknowledged expert in the field which comments on the historical background, motivations, accomplishments, and influence.

From Frege to Gödel

From Frege to Gödel PDF Author: Jean van Heijenoort
Publisher: Harvard University Press
ISBN: 9780674324497
Category : Philosophy
Languages : en
Pages : 664

View

Book Description
Gathered together here are the fundamental texts of the great classical period in modern logic. A complete translation of Gottlob Frege's Begriffsschrift--which opened a great epoch in the history of logic by fully presenting propositional calculus and quantification theory--begins the volume, which concludes with papers by Herbrand and by Gödel.

Logicism, Intuitionism, and Formalism

Logicism, Intuitionism, and Formalism PDF Author: Sten Lindström
Publisher: Springer Science & Business Media
ISBN: 1402089260
Category : Mathematics
Languages : en
Pages : 512

View

Book Description
This anthology reviews the programmes in the foundations of mathematics from the classical period and assesses their possible relevance for contemporary philosophy of mathematics. A special section is concerned with constructive mathematics.