Author : John P. Mayberry
Publisher : Cambridge University Press
Page : 454 pages
File Size : 11,19 MB
Release : 2000
Category : Mathematics
ISBN : 9780521770347
This 2001 book will appeal to mathematicians and philosophers interested in the foundations of mathematics.
Author : Luca Incurvati
Publisher : Cambridge University Press
Page : 255 pages
File Size : 14,48 MB
Release : 2020-01-23
Category : History
ISBN : 1108497829
Presents a detailed and critical examination of the available conceptions of set and proposes a novel version.
Author : Douglas Cenzer
Publisher : World Scientific
Page : 222 pages
File Size : 32,67 MB
Release : 2020-04-04
Category : Mathematics
ISBN : 9811201943
This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning graduate students to help them prepare for advanced study in set theory and mathematical logic as well as other areas of mathematics, such as analysis, topology, and algebra.The book is designed as a flexible and accessible text for a one-semester introductory course in set theory, where the existing alternatives may be more demanding or specialized. Readers will learn the universally accepted basis of the field, with several popular topics added as an option. Pointers to more advanced study are scattered throughout the text.
Author : Abraham Adolf Fraenkel
Publisher :
Page : 297 pages
File Size : 19,66 MB
Release : 1968
Category :
ISBN :
Author : Charles C Pinter
Publisher : Courier Corporation
Page : 259 pages
File Size : 49,73 MB
Release : 2014-07-23
Category : Mathematics
ISBN : 0486497089
"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"--
Author : Stefania Centrone
Publisher : Springer Nature
Page : 511 pages
File Size : 50,17 MB
Release : 2019-11-11
Category : Mathematics
ISBN : 3030156559
This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives. The volume is divided into three sections, the first two of which focus on the two most prominent candidate theories for a foundation of mathematics. Readers may trace current research in set theory, which has widely been assumed to serve as a framework for foundational issues, as well as new material elaborating on the univalent foundations, considering an approach based on homotopy type theory (HoTT). The third section then builds on this and is centred on philosophical questions connected to the foundations of mathematics. Here, the authors contribute to discussions on foundational criteria with more general thoughts on the foundations of mathematics which are not connected to particular theories. This book shares the work of some of the most important scholars in the fields of set theory (S. Friedman), non-classical logic (G. Priest) and the philosophy of mathematics (P. Maddy). The reader will become aware of the advantages of each theory and objections to it as a foundation, following the latest and best work across the disciplines and it is therefore a valuable read for anyone working on the foundations of mathematics or in the philosophy of mathematics.
Author : F. William Lawvere
Publisher : Cambridge University Press
Page : 280 pages
File Size : 30,77 MB
Release : 2003-01-27
Category : Mathematics
ISBN : 9780521010603
In this book, first published in 2003, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra.
Author : Michael Potter
Publisher : Clarendon Press
Page : 362 pages
File Size : 37,53 MB
Release : 2004-01-15
Category : Philosophy
ISBN : 0191556432
Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. He discusses in detail the project of set-theoretic reduction, which aims to interpret the rest of mathematics in terms of set theory. The key question here is how to deal with the paradoxes that bedevil set theory. Potter offers a strikingly simple version of the most widely accepted response to the paradoxes, which classifies sets by means of a hierarchy of levels. What makes the book unique is that it interweaves a careful presentation of the technical material with a penetrating philosophical critique. Potter does not merely expound the theory dogmatically but at every stage discusses in detail the reasons that can be offered for believing it to be true. Set Theory and its Philosophy is a key text for philosophy, mathematical logic, and computer science.
Author : Matthew Foreman
Publisher : Springer Science & Business Media
Page : 2200 pages
File Size : 42,42 MB
Release : 2009-12-10
Category : Mathematics
ISBN : 1402057644
Numbers imitate space, which is of such a di?erent nature —Blaise Pascal It is fair to date the study of the foundation of mathematics back to the ancient Greeks. The urge to understand and systematize the mathematics of the time led Euclid to postulate axioms in an early attempt to put geometry on a ?rm footing. With roots in the Elements, the distinctive methodology of mathematics has become proof. Inevitably two questions arise: What are proofs? and What assumptions are proofs based on? The ?rst question, traditionally an internal question of the ?eld of logic, was also wrestled with in antiquity. Aristotle gave his famous syllogistic s- tems, and the Stoics had a nascent propositional logic. This study continued with ?ts and starts, through Boethius, the Arabs and the medieval logicians in Paris and London. The early germs of logic emerged in the context of philosophy and theology. The development of analytic geometry, as exempli?ed by Descartes, ill- tratedoneofthedi?cultiesinherentinfoundingmathematics. Itisclassically phrased as the question ofhow one reconciles the arithmetic with the geom- ric. Arenumbers onetypeofthingand geometricobjectsanother? Whatare the relationships between these two types of objects? How can they interact? Discovery of new types of mathematical objects, such as imaginary numbers and, much later, formal objects such as free groups and formal power series make the problem of ?nding a common playing ?eld for all of mathematics importunate. Several pressures made foundational issues urgent in the 19th century.
Author : Patrick Suppes
Publisher : Courier Corporation
Page : 290 pages
File Size : 49,79 MB
Release : 2012-05-04
Category : Mathematics
ISBN : 0486136876
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.
