Foundations of Set Theory

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

Publisher: Elsevier

ISBN: 9780080887050

Category: Computers

Page: 412

View: 7455

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

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

Grundzüge der Mengenlehre

Author: Felix Hausdorff

Publisher: American Mathematical Soc.

ISBN: 9780828400619

Category: Mathematics

Page: 476

View: 7359

This reprint of the original 1914 edition of this famous work contains many topics that had to be omitted from later editions, notably, Symmetric Sets, Principle of Duality, most of the ``Algebra'' of Sets, Partially Ordered Sets, Arbitrary Sets of Complexes, Normal Types, Initial and Final Ordering, Complexes of Real Numbers, General Topological Spaces, Euclidean Spaces, the Special Methods Applicable in the Euclidean Plane, Jordan's Separation Theorem, the Theory of Content and Measure, the Theory of the Lebesgue Integral. The text is in German.
Release

Handbook of Mathematical Logic

Author: J. Barwise

Publisher: Elsevier

ISBN: 9780080933641

Category: Mathematics

Page: 1164

View: 4802

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

Harvey Friedman's Research on the Foundations of Mathematics

Author: L.A. Harrington,M.D. Morley,A. Šcedrov,S.G. Simpson

Publisher: Elsevier

ISBN: 9780080960401

Category: Mathematics

Page: 407

View: 2228

This volume discusses various aspects of Harvey Friedman's research in the foundations of mathematics over the past fifteen years. It should appeal to a wide audience of mathematicians, computer scientists, and mathematically oriented philosophers.
Release

Principia Mathematica.

Author: Alfred North Whitehead,Bertrand Russell

Publisher: N.A

ISBN: N.A

Category: Logic, Symbolic and mathematical

Page: 167

View: 9843

Release

Topics in Logic, Philosophy and Foundations of Mathematics, and Computer Science

In Recognition of Professor Andrzej Grzegorczyk

Author: Stanisław Krajewski

Publisher: IOS Press

ISBN: 9781586038144

Category: Computers

Page: 365

View: 3602

Professor Andrzej Grzegorczyk has made fundamental contributions to logic and to philosophy. This volume honors Professor Grzegorczyk, the nestor of Polish logicians, on his 85th anniversary. It presents the work and life of Professor Grzegorczyk.
Release

Abstract set theory

Author: Abraham Adolf Fraenkel

Publisher: N.A

ISBN: N.A

Category: Mathematics

Page: 479

View: 3023

Release

Kurt Gödel and the Foundations of Mathematics

Horizons of Truth

Author: Matthias Baaz,Christos H. Papadimitriou,Hilary W. Putnam,Dana S. Scott,Charles L. Harper, Jr

Publisher: Cambridge University Press

ISBN: 1139498436

Category: Mathematics

Page: N.A

View: 7577

This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy and other disciplines for future generations of researchers.
Release

Subsystems of Second Order Arithmetic

Author: Stephen George Simpson

Publisher: Cambridge University Press

ISBN: 052188439X

Category: Mathematics

Page: 444

View: 8139

This volume examines appropriate axioms for mathematics to prove particular theorems in core areas.
Release

Das Wahrheitsproblem und die Idee der Semantik

Eine Einführung in die Theorien von A. Tarski und R. Carnap

Author: Wolfgang Stegmüller

Publisher: Springer-Verlag

ISBN: 3709136245

Category: Juvenile Nonfiction

Page: 328

View: 8411

Die vorliegende Arbeit wurde zu dem Zwecke abgefaßt, eine Einführung in die reine oder nichtempirische Semantik zu geben, die sich in den letzten Jahren zu einem eigenen Forschungszweig entwickelt hat. Immer mehr dringt in der Philosophie der Gegenwart die Erkenntnis durch, daß philosophische Untersuchungen zu einem guten Teil sprachlogischer und sprachkritischer Art sein müssen, und im Rahmen solcher Untersuchungen nehmen jene der Semantik eine zentrale Stellung ein. Während die Logikkalküle nur mit der traditionellen formalen Logik in einem gewissen historischen Zusammenhang stehen, ist der Kontakt zwischen der Semantik und den althergebrachten philosophischen Pro blemen ein viel engerer. Dort steht bloß der Begrüf der logischen Deduk tion im Vordergrund, hier hingegen der wichtigste Begriff der Erkenntnis theorie, nämlich der Begriff des wahren Urteils bzw. der wahren Aussage. Über die Bedeutung einer Explikation des Wahrheitsbegriffs braucht man wohl kaum Worte zu verlieren angesichts der Tatsache, daß unser ganzes Erkenntnisstreben darauf abzielt, zu wahren Urteilen oder Sätzen zu gelangen. Eine Beantwortung der Frage, was man unter einem wahren Urteil bzw. einer wahren Aussage zu verstehen habe, wird nicht innerhalb der Einzelwissenschaften gegeben, sondern ist seit jeher dem Philosophen überlassen worden.
Release

Foundational Studies

Selected Works

Author: Andrzej Mostowski,Kazimierz Kuratowski

Publisher: Elsevier

ISBN: 0444851038

Category: Electronic books

Page: 605

View: 6352

Release

Axiomatic Set Theory

Author: Patrick Suppes

Publisher: Courier Corporation

ISBN: 0486136876

Category: Mathematics

Page: 265

View: 2427

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

Surveys in Set Theory

Author: A. R. D. Mathias

Publisher: Cambridge University Press

ISBN: 0521277337

Category: Mathematics

Page: 247

View: 9843

This book comprises five expository articles and two research papers on topics of current interest in set theory and the foundations of mathematics. Articles by Baumgartner and Devlin introduce the reader to proper forcing. This is a development by Saharon Shelah of Cohen's method which has led to solutions of problems that resisted attack by forcing methods as originally developed in the 1960s. The article by Guaspari is an introduction to descriptive set theory, a subject that has developed dramatically in the last few years. Articles by Kanamori and Stanley discuss one of the most difficult concepts in contemporary set theory, that of the morass, first created by Ronald Jensen in 1971 to solve the gap-two conjecture in model theory, assuming Gödel's axiom of constructibility. The papers by Prikry and Shelah complete the volume by giving the reader the flavour of contemporary research in set theory. This book will be of interest to graduate students and research workers in set theory and mathematical logic.
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: 1679

"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

Introduction to the Foundations of Mathematics

Second Edition

Author: Raymond L. Wilder

Publisher: Courier Corporation

ISBN: 0486276201

Category: Mathematics

Page: 352

View: 7475

Classic undergraduate text acquaints students with fundamental concepts and methods of mathematics. Topics include axiomatic method, set theory, infinite sets, groups, intuitionism, formal systems, mathematical logic, and much more. 1965 second edition.
Release

Lectures in Logic and Set Theory: Volume 2, Set Theory

Author: George Tourlakis

Publisher: Cambridge University Press

ISBN: 9781139439435

Category: Mathematics

Page: N.A

View: 4674

This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume II, on formal (ZFC) set theory, incorporates a self-contained 'chapter 0' on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques will provide the reader with a solid foundation in set theory and provides a context for the presentation of advanced topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing.
Release

History and Philosophy of Modern Mathematics

Author: William Aspray,Philip Kitcher

Publisher: U of Minnesota Press

ISBN: 9780816615674

Category: Mathematics

Page: 386

View: 6838

History and Philosophy of Modern Mathematics was first published in 1988. Minnesota Archive Editions uses digital technology to make long-unavailable books once again accessible, and are published unaltered from the original University of Minnesota Press editions. The fourteen essays in this volume build on the pioneering effort of Garrett Birkhoff, professor of mathematics at Harvard University, who in 1974 organized a conference of mathematicians and historians of modern mathematics to examine how the two disciplines approach the history of mathematics. In History and Philosophy of Modern Mathematics, William Aspray and Philip Kitcher bring together distinguished scholars from mathematics, history, and philosophy to assess the current state of the field. Their essays, which grow out of a 1985 conference at the University of Minnesota, develop the basic premise that mathematical thought needs to be studied from an interdisciplinary perspective. The opening essays study issues arising within logic and the foundations of mathematics, a traditional area of interest to historians and philosophers. The second section examines issues in the history of mathematics within the framework of established historical periods and questions. Next come case studies that illustrate the power of an interdisciplinary approach to the study of mathematics. The collection closes with a look at mathematics from a sociohistorical perspective, including the way institutions affect what constitutes mathematical knowledge.
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: 9967

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