登入選單
返回Google圖書搜尋
The Foundations of Mathematics in the Theory of Sets
John P. Mayberry
出版Cambridge University Press, 2000
主題Mathematics / LogicMathematics / Set TheoryMedical / GeneralPhilosophy / General
ISBN05217703439780521770347
URLhttp://books.google.com.hk/books?id=mP1ofko7p6IC&hl=&source=gbs_api
EBookSAMPLE
註釋This book presents a unified approach to the foundations of mathematics in the theory of sets, covering both conventional and finitary (constructive) mathematics. It is based on a philosophical, historical and mathematical analysis of the relation between the concepts of 'natural number' and 'set'. The author investigates the logic of quantification over the universe of sets and discusses its role in second order logic, as well as in the analysis of proof by induction and definition by recursion. Suitable for graduate students and researchers in both philosophy and mathematics.