The Foundations of Mathematics in the Theory of Sets

The Foundations of Mathematics in the Theory of Sets PDF Author: John P. Mayberry
Publisher: Cambridge University Press
ISBN: 9780521770347
Category : Mathematics
Languages : en
Pages : 454

Get Book

Book Description
This 2001 book will appeal to mathematicians and philosophers interested in the foundations of mathematics.

The Foundations of Mathematics in the Theory of Sets

The Foundations of Mathematics in the Theory of Sets PDF Author: John P. Mayberry
Publisher: Cambridge University Press
ISBN: 9780521770347
Category : Mathematics
Languages : en
Pages : 454

Get Book

Book Description
This 2001 book will appeal to mathematicians and philosophers interested in the foundations of mathematics.

Conceptions of Set and the Foundations of Mathematics

Conceptions of Set and the Foundations of Mathematics PDF Author: Luca Incurvati
Publisher: Cambridge University Press
ISBN: 1108497829
Category : History
Languages : en
Pages : 255

Get Book

Book Description
Presents a detailed and critical examination of the available conceptions of set and proposes a novel version.

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory PDF Author: Douglas Cenzer
Publisher: World Scientific
ISBN: 9811201943
Category : Mathematics
Languages : en
Pages : 222

Get Book

Book Description
This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning graduate students to help them prepare for advanced study in set theory and mathematical logic as well as other areas of mathematics, such as analysis, topology, and algebra.The book is designed as a flexible and accessible text for a one-semester introductory course in set theory, where the existing alternatives may be more demanding or specialized. Readers will learn the universally accepted basis of the field, with several popular topics added as an option. Pointers to more advanced study are scattered throughout the text.

Set Theory and Logic

Set Theory and Logic PDF Author: Robert R. Stoll
Publisher: Courier Corporation
ISBN: 0486139646
Category : Mathematics
Languages : en
Pages : 512

Get Book

Book Description
Explores sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathematics, Boolean algebras, informal axiomatic set theory, several algebraic theories, and 1st-order theories.

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

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"--

Set Theory and its Philosophy

Set Theory and its Philosophy PDF Author: Michael Potter
Publisher: Clarendon Press
ISBN: 0191556432
Category : Philosophy
Languages : en
Pages : 362

Get Book

Book Description
Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. He discusses in detail the project of set-theoretic reduction, which aims to interpret the rest of mathematics in terms of set theory. The key question here is how to deal with the paradoxes that bedevil set theory. Potter offers a strikingly simple version of the most widely accepted response to the paradoxes, which classifies sets by means of a hierarchy of levels. What makes the book unique is that it interweaves a careful presentation of the technical material with a penetrating philosophical critique. Potter does not merely expound the theory dogmatically but at every stage discusses in detail the reasons that can be offered for believing it to be true. Set Theory and its Philosophy is a key text for philosophy, mathematical logic, and computer science.

Labyrinth of Thought

Labyrinth of Thought PDF Author: Jose Ferreiros
Publisher: Springer Science & Business Media
ISBN: 9783764357498
Category : Mathematics
Languages : en
Pages : 472

Get Book

Book Description
"José Ferreirós has written a magisterial account of the history of set theory which is panoramic, balanced, and engaging. Not only does this book synthesize much previous work and provide fresh insights and points of view, but it also features a major innovation, a full-fledged treatment of the emergence of the set-theoretic approach in mathematics from the early nineteenth century. This takes up Part One of the book. Part Two analyzes the crucial developments in the last quarter of the nineteenth century, above all the work of Cantor, but also Dedekind and the interaction between the two. Lastly, Part Three details the development of set theory up to 1950, taking account of foundational questions and the emergence of the modern axiomatization." (Bulletin of Symbolic Logic)

The Foundations of Mathematics

The Foundations of Mathematics PDF Author: Kenneth Kunen
Publisher:
ISBN: 9781904987147
Category : Mathematics
Languages : en
Pages : 251

Get Book

Book Description
Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, and has become an integral part of mathematics in general. This book is designed for students who plan to specialize in logic, as well as for those who are interested in the applications of logic to other areas of mathematics. Used as a text, it could form the basis of a beginning graduate-level course. There are three main chapters: Set Theory, Model Theory, and Recursion Theory. The Set Theory chapter describes the set-theoretic foundations of all of mathematics, based on the ZFC axioms. It also covers technical results about the Axiom of Choice, well-orderings, and the theory of uncountable cardinals. The Model Theory chapter discusses predicate logic and formal proofs, and covers the Completeness, Compactness, and Lowenheim-Skolem Theorems, elementary submodels, model completeness, and applications to algebra. This chapter also continues the foundational issues begun in the set theory chapter. Mathematics can now be viewed as formal proofs from ZFC. Also, model theory leads to models of set theory. This includes a discussion of absoluteness, and an analysis of models such as H( ) and R( ). The Recursion Theory chapter develops some basic facts about computable functions, and uses them to prove a number of results of foundational importance; in particular, Church's theorem on the undecidability of logical consequence, the incompleteness theorems of Godel, and Tarski's theorem on the non-definability of truth.

Classic Set Theory

Classic Set Theory PDF Author: D.C. Goldrei
Publisher: Routledge
ISBN: 1351460617
Category : Mathematics
Languages : en
Pages : 296

Get Book

Book Description
Designed for undergraduate students of set theory, Classic Set Theory presents a modern perspective of the classic work of Georg Cantor and Richard Dedekin and their immediate successors. This includes:The definition of the real numbers in terms of rational numbers and ultimately in terms of natural numbersDefining natural numbers in terms of setsThe potential paradoxes in set theoryThe Zermelo-Fraenkel axioms for set theoryThe axiom of choiceThe arithmetic of ordered setsCantor's two sorts of transfinite number - cardinals and ordinals - and the arithmetic of these.The book is designed for students studying on their own, without access to lecturers and other reading, along the lines of the internationally renowned courses produced by the Open University. There are thus a large number of exercises within the main body of the text designed to help students engage with the subject, many of which have full teaching solutions. In addition, there are a number of exercises without answers so students studying under the guidance of a tutor may be assessed.Classic Set Theory gives students sufficient grounding in a rigorous approach to the revolutionary results of set theory as well as pleasure in being able to tackle significant problems that arise from the theory.

Set Theory and the Continuum Hypothesis

Set Theory and the Continuum Hypothesis PDF Author: Paul J. Cohen
Publisher: Courier Corporation
ISBN: 0486469212
Category : Mathematics
Languages : en
Pages : 196

Get Book

Book Description
This exploration of a notorious mathematical problem is the work of the man who discovered the solution. Written by an award-winning professor at Stanford University, it employs intuitive explanations as well as detailed mathematical proofs in a self-contained treatment. This unique text and reference is suitable for students and professionals. 1966 edition. Copyright renewed 1994.