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.
尊敬的读者:
欢迎您访问我们的网站。本站的初衷是为大家提供一个共享学习资料、交换知识的平台。每位用户都可以将文件上传至网盘并分享。
然而,随着用户上传的资料增多,我们发现部分不宜或版权问题的书籍被分享到了本站。
为此,我们已经关闭了分享入口,并进行了多次书籍审查,但仍有部分内容未能彻底审查到位。
在此,我们恳请广大读者与我们共同监督,如发现任何不宜内容,请 点击此处 进行举报,我们会第一时间处理并下架相关内容。
希望我们能共建一个文明社区!感谢您的理解与支持!
猜你喜欢
- Data Pipelines with Apache Airflow - Bas Harenslak and Julian De Ruiter 电子书下载
- 《每天玩一个心理学游戏》王子鱼 电子书下载
- 《我最想要的人像摆姿书》FUN视觉经典版 电子书下载
- Building Git - James coglan 电子书下载
- 《趋势永存:打败市场的动量策略》[美]Andreas F. Clenow中文版 电子书下载
- 《营养师手册》李清亚//张松 电子书下载
- 《革命的年代:1789~1848》[英] 艾瑞克·霍布斯鲍姆文字版 电子书下载
- Data Wrangling with JavaScript - Ashley Davis 电子书下载
- 《称霸:春秋国际新秩序的建立》刘勋文字版 电子书下载
- 《织田信长》山冈庄八 电子书下载
- 《虚者灸之》周立华珍藏版 电子书下载
- 《分好类超好背15000英语单词口袋书》耿小辉 电子书下载