Foundations of Set Theory

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

Publisher: Elsevier

ISBN: 9780080887050

Category: Computers

Page: 412

View: 3240

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

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

Principia Mathematica.

Author: Alfred North Whitehead,Bertrand Russell

Publisher: N.A

ISBN: N.A

Category: Logic, Symbolic and mathematical

Page: 167

View: 7067

Release

Logic, Methodology and Philosophy of Science VIII

Author: J.E. Fenstad,I.T. Frolov,R. Hilpinen

Publisher: Elsevier

ISBN: 9780080879895

Category: Mathematics

Page: 699

View: 9694

Logic, Methodology and Philosophy of Science VIII presents the results of recent research into the foundations of science. The volume contains 37 invited papers presented at the Congress, covering the areas of Logic, Mathematics, Physical Sciences, Biological Sciences and the Humanities.
Release

Handbook of Mathematical Logic

Author: J. Barwise

Publisher: Elsevier

ISBN: 9780080933641

Category: Mathematics

Page: 1164

View: 2195

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

Berechenbarkeit, Komplexität, Logik

Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Author: Egon Börger

Publisher: Springer-Verlag

ISBN: 3322877779

Category: Computers

Page: 470

View: 7416

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

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

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

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

Theory of Relations

Author: R. Fraïssé

Publisher: Elsevier

ISBN: 0080960413

Category: Mathematics

Page: 410

View: 3959

The first part of this book concerns the present state of the theory of chains (= total or linear orderings), in connection with some refinements of Ramsey's theorem, due to Galvin and Nash-Williams. This leads to the fundamental Laver's embeddability theorem for scattered chains, using Nash-Williams' better quasi-orderings, barriers and forerunning. The second part (chapters 9 to 12) extends to general relations the main notions and results from order-type theory. An important connection appears with permutation theory (Cameron, Pouzet, Livingstone and Wagner) and with logics (existence criterion of Pouzet-Vaught for saturated relations). The notion of bound of a relation (due to the author) leads to important calculus of thresholds by Frasnay, Hodges, Lachlan and Shelah. The redaction systematically goes back to set-theoretic axioms and precise definitions (such as Tarski's definition for finite sets), so that for each statement it is mentioned either that ZF axioms suffice, or what other axioms are needed (choice, continuum, dependent choice, ultrafilter axiom, etc.).
Release

Essays on the Foundations of Mathematics by Moritz Pasch

Author: Stephen Pollard

Publisher: Springer Science & Business Media

ISBN: 9789048194162

Category: Mathematics

Page: 248

View: 1858

Moritz Pasch (1843-1930) is justly celebrated as a key figure in the history of axiomatic geometry. Less well known are his contributions to other areas of foundational research. This volume features English translations of 14 papers Pasch published in the decade 1917-1926. In them, Pasch argues that geometry and, more surprisingly, number theory are branches of empirical science; he provides axioms for the combinatorial reasoning essential to Hilbert’s program of consistency proofs; he explores "implicit definition" (a generalization of definition by abstraction) and indicates how this technique yields an "empiricist" reconstruction of set theory; he argues that we cannot fully understand the logical structure of mathematics without clearly distinguishing between decidable and undecidable properties; he offers a rare glimpse into the mind of a master of axiomatics, surveying in detail the thought experiments he employed as he struggled to identify fundamental mathematical principles; and much more. This volume will: Give English speakers access to an important body of work from a turbulent and pivotal period in the history of mathematics, help us look beyond the familiar triad of formalism, intuitionism, and logicism, show how deeply we can see with the help of a guide determined to present fundamental mathematical ideas in ways that match our human capacities, will be of interest to graduate students and researchers in logic and the foundations of mathematics.
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: 7584

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

Descriptive Set Theory

Author: Y.N. Moschovakis

Publisher: Elsevier

ISBN: 0080963196

Category: Mathematics

Page: 636

View: 5304

Now available in paperback, this monograph is a self-contained exposition of the main results and methods of descriptive set theory. It develops all the necessary background material from logic and recursion theory, and treats both classical descriptive set theory and the effective theory developed by logicians.
Release

Practical Foundations of Mathematics

Author: Paul Taylor

Publisher: Cambridge University Press

ISBN: 9780521631075

Category: Mathematics

Page: 572

View: 3056

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

Naive Mengenlehre

Author: Paul R. Halmos

Publisher: Vandenhoeck & Ruprecht

ISBN: 9783525405277

Category: Arithmetic

Page: 132

View: 4389

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

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

Introduction to the Foundations of Mathematics

Second Edition

Author: Raymond L. Wilder

Publisher: Courier Corporation

ISBN: 0486276201

Category: Mathematics

Page: 352

View: 2849

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

Foundations of Constructive Mathematics

Metamathematical Studies

Author: M.J. Beeson

Publisher: Springer Science & Business Media

ISBN: 3642689523

Category: Mathematics

Page: 466

View: 1645

This book is about some recent work in a subject usually considered part of "logic" and the" foundations of mathematics", but also having close connec tions with philosophy and computer science. Namely, the creation and study of "formal systems for constructive mathematics". The general organization of the book is described in the" User's Manual" which follows this introduction, and the contents of the book are described in more detail in the introductions to Part One, Part Two, Part Three, and Part Four. This introduction has a different purpose; it is intended to provide the reader with a general view of the subject. This requires, to begin with, an elucidation of both the concepts mentioned in the phrase, "formal systems for constructive mathematics". "Con structive mathematics" refers to mathematics in which, when you prove that l a thing exists (having certain desired properties) you show how to find it. Proof by contradiction is the most common way of proving something exists without showing how to find it - one assumes that nothing exists with the desired properties, and derives a contradiction. It was only in the last two decades of the nineteenth century that mathematicians began to exploit this method of proof in ways that nobody had previously done; that was partly made possible by the creation and development of set theory by Georg Cantor and Richard Dedekind.
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: 4563

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