You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
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.
The rapid development of set theory in the last fifty years, mainly by obtaining plenty of independence results, strongly influenced an understanding of the structure of the real line. This book is devoted to the study of the real line and its subsets taking into account the recent results of set theory. Whenever possible the presentation is done without the full axiom of choice. Since the book is intended to be self-contained, all necessary results of set theory, topology, measure theory, and descriptive set theory are revisited with the purpose of eliminating superfluous use of an axiom of choice. The duality of measure and category is studied in a detailed manner. Several statements pertaining to properties of the real line are shown to be undecidable in set theory. The metamathematics behind set theory is shortly explained in the appendix. Each section contains a series of exercises with additional results.
Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength. It is as a field of mathematics that both proceeds with its own internal questions and is capable of contextualizing over a broad range, which makes set theory an intriguing and highly distinctive subject. This handbook covers the rich history of scientific turning points in set theory, providing fresh insights and points of view. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in mathematics, the history of philosophy, and any discipline such as computer science, cognitive psychology, and artificial intelligence, for whom the historical background of his or her work is a salient consideration - Serves as a singular contribution to the intellectual history of the 20th century - Contains the latest scholarly discoveries and interpretative insights
One of the most striking features of mathematics is the fact that we are much more certain about the mathematical knowledge we have than about what mathematical knowledge is knowledge of. Are numbers, sets, functions and groups physical entities of some kind? Are they objectively existing objects in some non-physical, mathematical realm? Are they ideas that are present only in the mind? Or do mathematical truths not involve referents of any kind? It is these kinds of questions that have encouraged philosophers and mathematicians alike to focus their attention on issues in the philosophy of mathematics. Over the centuries a number of reasonably well-defined positions about the nature of mathe...
Abraham A. Fraenkel was a world-renowned mathematician in pre–Second World War Germany, whose work on set theory was fundamental to the development of modern mathematics. A friend of Albert Einstein, he knew many of the era’s acclaimed mathematicians personally. He moved to Israel (then Palestine under the British Mandate) in the early 1930s. In his autobiography Fraenkel describes his early years growing up as an Orthodox Jew in Germany and his development as a mathematician at the beginning of the twentieth century. This memoir, originally written in German in the 1960s, has now been translated into English, with an additional chapter covering the period from 1933 until his death in...
SET THEORY
This book evolved from several courses in combinatorics and graph theory given at Appalachian State University and UCLA. Chapter 1 focuses on finite graph theory, including trees, planarity, coloring, matchings, and Ramsey theory. Chapter 2 studies combinatorics, including the principle of inclusion and exclusion, generating functions, recurrence relations, Pólya theory, the stable marriage problem, and several important classes of numbers. Chapter 3 presents infinite pigeonhole principles, König's lemma, and Ramsey's theorem, and discusses their connections to axiomatic set theory. The text is written in an enthusiastic and lively style. It includes results and problems that cross subdisciplines, emphasizing relationships between different areas of mathematics. In addition, recent results appear in the text, illustrating the fact that mathematics is a living discipline. The text is primarily directed toward upper-division undergraduate students, but lower-division undergraduates with a penchant for proof and graduate students seeking an introduction to these subjects will also find much of interest.
Sets and Classes on The Work by Paul Bernays
Noetics is Lawrence Krader's magnum opus, which he began while still an undergraduate philosophy major at the City College of New York in the 1930s. By examining the architectonics of some of the greatest thinkers in history - Aristotle, Plato, Descartes, Leibniz, Spinoza, Kant, Hegel, and Husserl among others - as works of art combining myth, speculation and empirical science, Krader tackles one of the central problems of the philosophy of science: what is science and how does it relate to human thinking and knowing more generally. Building on his theories concerning the different orders of nature adumbrated in his Labor and Value (2003), he follows not only the lines of development of the ...