Foundations of Set Theory

Author: A.A. Fraenkel,Y. Bar-Hillel,A. Levy

Publisher: Elsevier

ISBN: 9780080887050

Category: Computers

Page: 412

View: 9001

DOWNLOAD NOW »

Foundations of Set Theory discusses the reconstruction undergone by set theory in the hands of Brouwer, Russell, and Zermelo. Only in the axiomatic foundations, however, have there been such extensive, almost revolutionary, developments. This book tries to avoid a detailed discussion of those topics which would have required heavy technical machinery, while describing the major results obtained in their treatment if these results could be stated in relatively non-technical terms. This book comprises five chapters and begins with a discussion of the antinomies that led to the reconstruction of set theory as it was known before. It then moves to the axiomatic foundations of set theory, including a discussion of the basic notions of equality and extensionality and axioms of comprehension and infinity. The next chapters discuss type-theoretical approaches, including the ideal calculus, the theory of types, and Quine's mathematical logic and new foundations; intuitionistic conceptions of mathematics and its constructive character; and metamathematical and semantical approaches, such as the Hilbert program. This book will be of interest to mathematicians, logicians, and statisticians.
Release

The Foundations of Mathematics

Author: Kenneth Kunen

Publisher: N.A

ISBN: 9781904987147

Category: Mathematics

Page: 251

View: 4589

DOWNLOAD NOW »

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.
Release

Handbook of Mathematical Logic

Author: J. Barwise

Publisher: Elsevier

ISBN: 9780080933641

Category: Mathematics

Page: 1164

View: 3347

DOWNLOAD NOW »

The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own.
Release

Labyrinth of Thought

A History of Set Theory and Its Role in Modern Mathematics

Author: Jose Ferreiros

Publisher: Springer Science & Business Media

ISBN: 9783764357498

Category: Mathematics

Page: 440

View: 7254

DOWNLOAD NOW »

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

Practical Foundations of Mathematics

Author: Paul Taylor

Publisher: Cambridge University Press

ISBN: 9780521631075

Category: Mathematics

Page: 572

View: 3317

DOWNLOAD NOW »

Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.
Release

The Joy of Sets

Fundamentals of Contemporary Set Theory

Author: Keith Devlin

Publisher: Springer Science & Business Media

ISBN: 9780387940946

Category: Mathematics

Page: 194

View: 9746

DOWNLOAD NOW »

This text covers the parts of contemporary set theory relevant to other areas of pure mathematics. After a review of "naïve" 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.
Release

Set Theory

Author: Kenneth Kunen

Publisher: N.A

ISBN: 9781848900509

Category: Mathematics

Page: 412

View: 4604

DOWNLOAD NOW »

This book is designed for readers who know elementary mathematical logic and axiomatic set theory, and who want to learn more about set theory. The primary focus of the book is on the independence proofs. Most famous among these is the independence of the Continuum Hypothesis (CH); that is, there are models of the axioms of set theory (ZFC) in which CH is true, and other models in which CH is false. More generally, cardinal exponentiation on the regular cardinals can consistently be anything not contradicting the classical theorems of Cantor and Konig. The basic methods for the independence proofs are the notion of constructibility, introduced by Godel, and the method of forcing, introduced by Cohen. This book describes these methods in detail, verifi es the basic independence results for cardinal exponentiation, and also applies these methods to prove the independence of various mathematical questions in measure theory and general topology. Before the chapters on forcing, there is a fairly long chapter on "infi nitary combinatorics." This consists of just mathematical theorems (not independence results), but it stresses the areas of mathematics where set-theoretic topics (such as cardinal arithmetic) are relevant. There is, in fact, an interplay between infi nitary combinatorics and independence proofs. Infi nitary combinatorics suggests many set-theoretic questions that turn out to be independent of ZFC, but it also provides the basic tools used in forcing arguments. In particular, Martin's Axiom, which is one of the topics under infi nitary combinatorics, introduces many of the basic ingredients of forcing.
Release

An Introduction to Mathematical Logic and Type Theory

Author: Peter B. Andrews

Publisher: Springer Science & Business Media

ISBN: 9781402007637

Category: Computers

Page: 390

View: 5902

DOWNLOAD NOW »

In case you are considering to adopt this book for courses with over 50 students, please contact [email protected] for more information. This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.
Release

Classical Recursion Theory

The Theory of Functions and Sets of Natural Numbers

Author: P. Odifreddi

Publisher: Elsevier

ISBN: 9780080886596

Category: Computers

Page: 667

View: 9060

DOWNLOAD NOW »

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles. Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.
Release