Naive Set Theory

From the Reviews: .

Author: Paul Richard Halmos

Publisher:

ISBN: UOM:39015006570702

Category: Arithmetic

Page: 104

View: 655

DOWNLOAD →

From the Reviews: .,."He (the author) uses the language and notation of ordinary informal mathematics to state the basic set-theoretic facts which a beginning student of advanced mathematics needs to know. ...Because of the informal method of presentation, the book is eminently suited for use as a textbook or for self-study. The reader should derive from this volume a maximum of understanding of the theorems of set theory and of their basic importance in the study of mathematics." Philosophy and Phenomenological Research
654 Download

Naive Set Theory

Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is some. This book contains my answer to that question.

Author: P. R. Halmos

Publisher: Springer Science & Business Media

ISBN: 9781475716450

Category: Mathematics

Page: 104

View: 765

DOWNLOAD →

Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is some. This book contains my answer to that question. The purpose of the book is to tell the beginning student of advanced mathematics the basic set theoretic facts of life, and to do so with the minimum of philosophical discourse and logical formalism. The point of view throughout is that of a prospective mathematician anxious to study groups, or integrals, or manifolds. From this point of view the concepts and methods of this book are merely some of the standard mathematical tools; the expert specialist will find nothing new here. Scholarly bibliographical credits and references are out of place in a purely expository book such as this one. The student who gets interested in set theory for its own sake should know, however, that there is much more to the subject than there is in this book. One of the most beautiful sources of set-theoretic wisdom is still Hausdorff's Set theory. A recent and highly readable addition to the literature, with an extensive and up-to-date bibliography, is Axiomatic set theory by Suppes.
743 Download

Naive Set Theory

In defining 0 to be a set with zero elements, we have no choice; we must write (as we did) 0 = 25. ... What we need is a new set-theoretic principle. ... Incidentally, the symbol we are using for the 44 NAIVE SET THEORY SEC. 11.

Author: Paul R. Halmos

Publisher: Courier Dover Publications

ISBN: 9780486821153

Category: Mathematics

Page: 112

View: 257

DOWNLOAD →

This classic by one of the twentieth century's most prominent mathematicians offers a concise introduction to set theory. Suitable for advanced undergraduates and graduate students in mathematics, it employs the language and notation of informal mathematics. There are very few displayed theorems; most of the facts are stated in simple terms, followed by a sketch of the proof. Only a few exercises are designated as such since the book itself is an ongoing series of exercises with hints. The treatment covers the basic concepts of set theory, cardinal numbers, transfinite methods, and a good deal more in 25 brief chapters. "This book is a very specialized but broadly useful introduction to set theory. It is aimed at 'the beginning student of advanced mathematics' … who wants to understand the set-theoretic underpinnings of the mathematics he already knows or will learn soon. It is also useful to the professional mathematician who knew these underpinnings at one time but has now forgotten exactly how they go. … A good reference for how set theory is used in other parts of mathematics." — Allen Stenger, The Mathematical Association of America, September 2011.
372 Download

Sets Na ve Axiomatic and Applied

This book is intended for non-logicians, students, and working and teaching mathematicians.

Author: D. Van Dalen

Publisher: Elsevier

ISBN: 9781483150390

Category: Mathematics

Page: 360

View: 380

DOWNLOAD →

Sets: Naïve, Axiomatic and Applied is a basic compendium on naïve, axiomatic, and applied set theory and covers topics ranging from Boolean operations to union, intersection, and relative complement as well as the reflection principle, measurable cardinals, and models of set theory. Applications of the axiom of choice are also discussed, along with infinite games and the axiom of determinateness. Comprised of three chapters, this volume begins with an overview of naïve set theory and some important sets and notations. The equality of sets, subsets, and ordered pairs are considered, together with equivalence relations and real numbers. The next chapter is devoted to axiomatic set theory and discusses the axiom of regularity, induction and recursion, and ordinal and cardinal numbers. In the final chapter, applications of set theory are reviewed, paying particular attention to filters, Boolean algebra, and inductive definitions together with trees and the Borel hierarchy. This book is intended for non-logicians, students, and working and teaching mathematicians.
489 Download

Naive Set Theory

This book "Naive Set Theory" uses the language and notation of ordinary informal mathematics to state the basic set-theoretic facts which a beginning student of advanced mathematics needs to know.

Author: Paul Halmos

Publisher:

ISBN: 1773230549

Category:

Page: 114

View: 162

DOWNLOAD →

This book "Naive Set Theory" uses the language and notation of ordinary informal mathematics to state the basic set-theoretic facts which a beginning student of advanced mathematics needs to know... Because of the informal method of presentation, the book is eminently suited for use as a textbook or for self-study. The reader should derive from this volume a maximum of understanding of the theorems of set theory and of their basic importance in the study of mathematics.
788 Download

Cantorian Set Theory and Limitation of Size

Von Neumann's solution to this problem reintroduced not only the cardinal limitation of size theory but also the treatment ... This procedure will be presented below in the language of naive set theory , but , unlike Cantor's procedure ...

Author: Michael Hallett

Publisher: Oxford University Press

ISBN: 0198532830

Category: Mathematics

Page: 343

View: 894

DOWNLOAD →

Cantor's ideas formed the basis for set theory and also for the mathematical treatment of the concept of infinity. The philosophical and heuristic framework he developed had a lasting effect on modern mathematics, and is the recurrent theme of this volume. Hallett explores Cantor's ideas and, in particular, their ramifications for Zermelo-Frankel set theory.
154 Download

A Tour Through Mathematical Logic

But when one starts thinking about set theory , and especially the independence results that tell us , for example ... 2.2 “ Naive ” set theory The first phase in the development of set theory , which extended from the 1870s until about ...

Author: Robert S. Wolf

Publisher: Cambridge University Press

ISBN: 0883850362

Category: Mathematics

Page: 397

View: 995

DOWNLOAD →

The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gödel's incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for courses in the foundations of mathematics, at the undergraduate or graduate level. The book is deliberately less structured and more user-friendly than standard texts on foundations, so will also be attractive to those outside the classroom environment wanting to learn about the subject.
202 Download

Fundamentals of Contemporary Set Theory

Naive. Set. Theory. Before we commence, let us make one thing clear: in this book we shall only study one set ... However, it is possible to develop the theory of sets a considerable way without any knowledge of those axioms.

Author: K. J. Devlin

Publisher: Springer Science & Business Media

ISBN: 9781468400847

Category: Mathematics

Page: 182

View: 688

DOWNLOAD →

This book is intended to provide an account of those parts of contemporary set theory which are of direct relevance to other areas of pure mathematics. The intended reader is either an advanced level undergraduate, or a beginning graduate student in mathematics, or else an accomplished mathematician who desires or needs a familiarity with modern set theory. The book is written in a fairly easy going style, with a minimum of formalism (a format characteristic of contemporary set theory) • In Chapter I the basic principles of set theory are developed in a "naive" tl manner. Here the notions of "set I II union " , "intersection", "power set" I "relation" I "function" etc. are defined and discussed. One assumption in writing this chapter has been that whereas the reader may have met all of these concepts before, and be familiar with their usage, he may not have considered the various notions as forming part of the continuous development of a pure subject (namely set theory) • Consequently, our development is at the same time rigorous and fast. Chapter II develops the theory of sets proper. Starting with the naive set theory of Chapter I, we begin by asking the question "What is a set?" Attempts to give a rLgorous answer lead naturally to the axioms of set theory introduced by Zermelo and Fraenkel, which is the system taken as basic in this book.
794 Download

Logic Logic and Logic

There are other theories besides ZF that embody the iterative conception : one of them , Zermelo set theory ... it " about the nature of sets which might have been put forth even if , impossibly , naive set theory had been consistent .

Author: George Boolos

Publisher: Harvard University Press

ISBN: 067453767X

Category: Philosophy

Page: 443

View: 164

DOWNLOAD →

George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gödel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege's work on logic and the philosophy of mathematics. John Burgess has provided introductions to each of the three parts of the volume, and also an afterword on Boolos's technical work in provability logic, which is beyond the scope of this volume.
316 Download

An Introduction to Proofs with Set Theory

Clearly, this is troubling because the concept of a set of all sets quickly leads to a contradiction. ... So much so that virtually all mathematicians use naive set theory in their proofs with the understanding that as long as certain ...

Author: Daniel Ashlock

Publisher: Springer Nature

ISBN: 9783031024269

Category: Mathematics

Page: 233

View: 551

DOWNLOAD →

This text is intended as an introduction to mathematical proofs for students. It is distilled from the lecture notes for a course focused on set theory subject matter as a means of teaching proofs. Chapter 1 contains an introduction and provides a brief summary of some background material students may be unfamiliar with. Chapters 2 and 3 introduce the basics of logic for students not yet familiar with these topics. Included is material on Boolean logic, propositions and predicates, logical operations, truth tables, tautologies and contradictions, rules of inference and logical arguments. Chapter 4 introduces mathematical proofs, including proof conventions, direct proofs, proof-by-contradiction, and proof-by-contraposition. Chapter 5 introduces the basics of naive set theory, including Venn diagrams and operations on sets. Chapter 6 introduces mathematical induction and recurrence relations. Chapter 7 introduces set-theoretic functions and covers injective, surjective, and bijective functions, as well as permutations. Chapter 8 covers the fundamental properties of the integers including primes, unique factorization, and Euclid's algorithm. Chapter 9 is an introduction to combinatorics; topics included are combinatorial proofs, binomial and multinomial coefficients, the Inclusion-Exclusion principle, and counting the number of surjective functions between finite sets. Chapter 10 introduces relations and covers equivalence relations and partial orders. Chapter 11 covers number bases, number systems, and operations. Chapter 12 covers cardinality, including basic results on countable and uncountable infinities, and introduces cardinal numbers. Chapter 13 expands on partial orders and introduces ordinal numbers. Chapter 14 examines the paradoxes of naive set theory and introduces and discusses axiomatic set theory. This chapter also includes Cantor's Paradox, Russel's Paradox, a discussion of axiomatic theories, an exposition on Zermelo‒Fraenkel Set Theory with the Axiom of Choice, and a brief explanation of Gödel's Incompleteness Theorems.
599 Download