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.
尊敬的读者:
欢迎您访问我们的网站。本站的初衷是为大家提供一个共享学习资料、交换知识的平台。每位用户都可以将文件上传至网盘并分享。
然而,随着用户上传的资料增多,我们发现部分不宜或版权问题的书籍被分享到了本站。
为此,我们已经关闭了分享入口,并进行了多次书籍审查,但仍有部分内容未能彻底审查到位。
在此,我们恳请广大读者与我们共同监督,如发现任何不宜内容,请 点击此处 进行举报,我们会第一时间处理并下架相关内容。
希望我们能共建一个文明社区!感谢您的理解与支持!
猜你喜欢
- 《动物精神:看透全球经济的新思维》罗伯特·席勒/乔治·阿克洛夫 电子书下载
- 《两性勾搭指南(恋爱心法+男人真相+亲密关系+幸福爱+聪明爱+致现任 套装6册)》杨冰阳 等珍藏版 电子书下载
- 《无脊椎动物百科》拉尔夫・布克斯鲍姆文字版 电子书下载
- 《抽象城市》克里斯托夫·尼曼中文版 电子书下载
- 《文明的崩塌:公元前1177年的地中海世界》[美]埃里克·H.克莱因中文版 电子书下载
- 《六味医典:葱姜蒜酒茶醋治病实录》段二虎 扫描版 电子书下载
- 《奥兰多》弗吉尼亚·伍尔夫 电子书下载
- 《从工业化到城市化:未来30年经济增长的可行路径》徐远修订版 电子书下载
- Even Faster Web Sites - Steve Souders 电子书下载
- 《图解黄帝内经》紫图 扫描版 电子书下载
- 《春雪》三岛由纪夫 电子书下载
- 《我坚信》奥普拉·温弗瑞(Oprah Winfrey) 电子书下载