Axiomatic Set Theory


Author: Patrick Suppes
Publisher: Courier Corporation
ISBN: 0486136876
Category: Mathematics
Page: 265
View: 1188

Continue Reading →

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.

Naive Mengenlehre


Author: Paul R. Halmos
Publisher: Vandenhoeck & Ruprecht
ISBN: 9783525405277
Category: Arithmetic
Page: 132
View: 917

Continue Reading →

A Book of Set Theory


Author: Charles C Pinter
Publisher: Courier Corporation
ISBN: 0486497089
Category: Mathematics
Page: 256
View: 6956

Continue Reading →

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

Axiomatic Set Theory


Author: Paul Bernays
Publisher: Dover Publications
ISBN: 9780486666372
Category: Mathematics
Page: 256
View: 5348

Continue Reading →

A monograph containing a historical introduction by A. A. Fraenkel to the original Zermelo-Fraenkel form of set-theoretic axiomatics, and Paul Bernays’ independent presentation of a formal system of axiomatic set theory. No special knowledge of set thory and its axiomatics is required. With indexes of authors, symbols and matters, a list of axioms and an extensive bibliography.

Principia Mathematica.


Author: Alfred North Whitehead,Bertrand Russell
Publisher: N.A
ISBN: N.A
Category: Logic, Symbolic and mathematical
Page: 167
View: 8835

Continue Reading →

Set Theory and Logic


Author: Robert R. Stoll
Publisher: Courier Corporation
ISBN: 0486139646
Category: Mathematics
Page: 512
View: 5036

Continue Reading →

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.

Introduction to Logic


Author: Patrick Suppes
Publisher: Courier Corporation
ISBN: 0486138054
Category: Mathematics
Page: 336
View: 4447

Continue Reading →

Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Ideal for undergraduates.

The Philosophy of Set Theory

An Historical Introduction to Cantor's Paradise
Author: Mary Tiles
Publisher: Courier Corporation
ISBN: 0486138550
Category: Mathematics
Page: 256
View: 4297

Continue Reading →

DIVBeginning with perspectives on the finite universe and classes and Aristotelian logic, the author examines permutations, combinations, and infinite cardinalities; numbering the continuum; Cantor's transfinite paradise; axiomatic set theory, and more. /div

Basic Set Theory


Author: Azriel Levy
Publisher: Courier Corporation
ISBN: 0486150739
Category: Mathematics
Page: 416
View: 6446

Continue Reading →

The first part of this advanced-level text covers pure set theory, and the second deals with applications and advanced topics (point set topology, real spaces, Boolean algebras, infinite combinatorics and large cardinals). 1979 edition.

Set Theory and the Continuum Hypothesis


Author: Paul J. Cohen,Martin Davis
Publisher: Courier Corporation
ISBN: 0486469212
Category: Mathematics
Page: 154
View: 9604

Continue Reading →

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.

An Outline of Set Theory


Author: James M. Henle
Publisher: Courier Corporation
ISBN: 0486453375
Category: Mathematics
Page: 145
View: 1215

Continue Reading →

An innovative problem-oriented introduction to set theory, this volume is intended for undergraduate courses in which students work in groups on projects and present their solutions to the class. The three-part treatment consists of problems, hints for their solutions, and complete answers. 1986 edition.

Naive Set Theory


Author: Paul R. Halmos
Publisher: Courier Dover Publications
ISBN: 0486814874
Category: Mathematics
Page: 112
View: 1228

Continue Reading →

Classic by prominent mathematician offers a concise introduction to set theory using language and notation of informal mathematics. Topics include the basic concepts of set theory, cardinal numbers, transfinite methods, more. 1960 edition.

First Order Mathematical Logic


Author: Angelo Margaris
Publisher: Courier Corporation
ISBN: 9780486662695
Category: Mathematics
Page: 211
View: 8595

Continue Reading →

"Attractive and well-written introduction." — Journal of Symbolic Logic The logic that mathematicians use to prove their theorems is itself a part of mathematics, in the same way that algebra, analysis, and geometry are parts of mathematics. This attractive and well-written introduction to mathematical logic is aimed primarily at undergraduates with some background in college-level mathematics; however, little or no acquaintance with abstract mathematics is needed. Divided into three chapters, the book begins with a brief encounter of naïve set theory and logic for the beginner, and proceeds to set forth in elementary and intuitive form the themes developed formally and in detail later. In Chapter Two, the predicate calculus is developed as a formal axiomatic theory. The statement calculus, presented as a part of the predicate calculus, is treated in detail from the axiom schemes through the deduction theorem to the completeness theorem. Then the full predicate calculus is taken up again, and a smooth-running technique for proving theorem schemes is developed and exploited. Chapter Three is devoted to first-order theories, i.e., mathematical theories for which the predicate calculus serves as a base. Axioms and short developments are given for number theory and a few algebraic theories. Then the metamathematical notions of consistency, completeness, independence, categoricity, and decidability are discussed, The predicate calculus is proved to be complete. The book concludes with an outline of Godel's incompleteness theorem. Ideal for a one-semester course, this concise text offers more detail and mathematically relevant examples than those available in elementary books on logic. Carefully chosen exercises, with selected answers, help students test their grasp of the material. For any student of mathematics, logic, or the interrelationship of the two, this book represents a thought-provoking introduction to the logical underpinnings of mathematical theory. "An excellent text." — Mathematical Reviews

Foundations and Fundamental Concepts of Mathematics


Author: Howard Eves
Publisher: Courier Corporation
ISBN: 048613220X
Category: Mathematics
Page: 368
View: 6807

Continue Reading →

Third edition of popular undergraduate-level text offers historic overview, readable treatment of mathematics before Euclid, Euclid's Elements, non-Euclidean geometry, algebraic structure, formal axiomatics, sets, more. Problems, some with solutions. Bibliography.

A Profile of Mathematical Logic


Author: Howard DeLong
Publisher: Courier Corporation
ISBN: 0486139158
Category: Mathematics
Page: 320
View: 2222

Continue Reading →

This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize–winning book was inspired by this work.