Foundations of Set Theory

Nonfiction, Computers, Advanced Computing, Computer Science, Science & Nature, Mathematics, General Computing
Cover of the book Foundations of Set Theory by A.A. Fraenkel, Y. Bar-Hillel, A. Levy, Elsevier Science
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: A.A. Fraenkel, Y. Bar-Hillel, A. Levy ISBN: 9780080887050
Publisher: Elsevier Science Publication: December 1, 1973
Imprint: North Holland Language: English
Author: A.A. Fraenkel, Y. Bar-Hillel, A. Levy
ISBN: 9780080887050
Publisher: Elsevier Science
Publication: December 1, 1973
Imprint: North Holland
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Elsevier Science

Cover of the book The Neuroscience of Autism Spectrum Disorders by A.A. Fraenkel, Y. Bar-Hillel, A. Levy
Cover of the book Carbon-Based Nanofillers and Their Rubber Nanocomposites by A.A. Fraenkel, Y. Bar-Hillel, A. Levy
Cover of the book Handbook of Constraint Programming by A.A. Fraenkel, Y. Bar-Hillel, A. Levy
Cover of the book Risk Neutral Pricing and Financial Mathematics by A.A. Fraenkel, Y. Bar-Hillel, A. Levy
Cover of the book Crazing Technology for Polyester Fibers by A.A. Fraenkel, Y. Bar-Hillel, A. Levy
Cover of the book Perceptual and Cognitive Development by A.A. Fraenkel, Y. Bar-Hillel, A. Levy
Cover of the book Mineral Processing Design and Operation by A.A. Fraenkel, Y. Bar-Hillel, A. Levy
Cover of the book International Review of Cell and Molecular Biology by A.A. Fraenkel, Y. Bar-Hillel, A. Levy
Cover of the book Social Predation by A.A. Fraenkel, Y. Bar-Hillel, A. Levy
Cover of the book Digital Signal Processing 101 by A.A. Fraenkel, Y. Bar-Hillel, A. Levy
Cover of the book Packaging Technology by A.A. Fraenkel, Y. Bar-Hillel, A. Levy
Cover of the book Coal: Its Role in Tomorrow's Technology by A.A. Fraenkel, Y. Bar-Hillel, A. Levy
Cover of the book Biomechanics of the Spine by A.A. Fraenkel, Y. Bar-Hillel, A. Levy
Cover of the book Digital Libraries by A.A. Fraenkel, Y. Bar-Hillel, A. Levy
Cover of the book Advances in Immunology by A.A. Fraenkel, Y. Bar-Hillel, A. Levy
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy