From Foundations to Philosophy of Mathematics : An Historical Account of Their Development in the XX Century and Beyond 电子书下载
书名:From Foundations to Philosophy of Mathematics : An Historical Account of Their Development in the XX Century and Beyond
From Foundations to Philosophy of Mathematics provides an historical introduction to the most exciting period in the foundations of mathematics, starting with the discovery of the paradoxes of logic and set theory at the beginning of the twentieth century and continuing with the great foundational debate that took place in the 1920s. As a result of the efforts of several mathematicians and philosophers during this period to ground mathematics and to clarify its nature from a certain philosophical standpoint, the four main schools in the philosophy of mathematics that have largely dominated the twentieth century arose, namely, logicism, intuitionism, formalism and predicativism. It was due precisely to the insufficiencies of the first three foundational programs and the objections raised against them, that interest in Platonism was renewed in the 1940s, mainly by Gödel.Not only does this book pay special attention to the foundational programs of these philosophies of mathematics, but also to some technical accomplishments that were developed in close connection with them and have largely shaped our understanding of the nature of mathematics, such as Russell`s type theory, Zermelo`s set theory and Gödel`s incompleteness theorems. Finally, it also examines some current research programs that have been pursued in the last decades and have tried, at least to some extent, to show the feasibility of the foundational programs developed in the schools mentioned above. This is the case of neologicism, constructivism, and predicativist and finitist reductionism, this last one developed closely with the research program of reverse mathematics.
尊敬的读者:
欢迎您访问我们的网站。本站的初衷是为大家提供一个共享学习资料、交换知识的平台。每位用户都可以将文件上传至网盘并分享。
然而,随着用户上传的资料增多,我们发现部分不宜或版权问题的书籍被分享到了本站。
为此,我们已经关闭了分享入口,并进行了多次书籍审查,但仍有部分内容未能彻底审查到位。
在此,我们恳请广大读者与我们共同监督,如发现任何不宜内容,请 点击此处 进行举报,我们会第一时间处理并下架相关内容。
希望我们能共建一个文明社区!感谢您的理解与支持!
猜你喜欢
- C# 12 and .NET 8 – Modern Cross-Platform Development Fundamentals 8th Edition - Mark J. Price 电子书下载
- 《软件创新之路:冲破高技术营造的牢笼》[美]Alan Cooper中文版 电子书下载
- 《当我们谈论爱情时我们在谈论什么》雷蒙德·卡佛全译修订版 电子书下载
- 《饥饿的盛世 : 乾隆时代的得与失》张宏杰 电子书下载
- 《你的情商,决定你的人生高度:情商高的人,运气都不会太差》心屋仁之助 电子书下载
- 《德式无器械健身》 电子书下载
- Learn Azure in a Month of Lunches 2nd Edition - Iain Foulds 电子书下载
- 《南明史》顾诚全新修订版 电子书下载
- Linux Bible 2008 Edition - Christopher Negus 电子书下载
- 《穷人通胀,富人通缩》牛刀 电子书下载
- 《我不过低配的人生》雾满拦江文字版 电子书下载
- 《日用品简史》安迪・沃纳中文版 电子书下载