| 书目名称 | Mechanism, Mentalism and Metamathematics | | 副标题 | An Essay on Finitism | | 编辑 | Judson Chambers Webb | | 视频video | http://file.papertrans.cn/629/628655/628655.mp4 | | 丛书名称 | Synthese Library | | 图书封面 |  | | 描述 | This book grew out of a graduate student paper [261] in which I set down some criticisms of J. R. Lucas‘ attempt to refute mechanism by means of G6del‘s theorem. I had made several such abortive attempts myself and had become familiar with their pitfalls, and especially with the double edged nature of incompleteness arguments. My original idea was to model the refutation of mechanism on the almost universally accepted G6delian refutation of Hilbert‘s formalism, but I kept getting stuck on questions of mathematical philosophy which I found myself having to beg. A thorough study of the foundational works of Hilbert and Bernays finally convinced me that I had all too naively and uncritically bought this refutation of formalism. I did indeed discover points of surprisingly close contact between formalism and mechanism, but also that it was possible to under mine certain strong arguments against these positions precisely by invok ing G6del‘s and related work. I also began to realize that the Church Turing thesis itself is the principal bastion protecting mechanism, and that G6del‘s work was perhaps the best thing that ever happened to both mechanism and formalism. I pushed these lin | | 出版日期 | Book 1980 | | 关键词 | effectiveness; formalism; foundation; idea; mathematics; model; nature; philosophy; present; subject | | 版次 | 1 | | doi | https://doi.org/10.1007/978-94-015-7653-6 | | isbn_softcover | 978-90-481-8357-9 | | isbn_ebook | 978-94-015-7653-6Series ISSN 0166-6991 Series E-ISSN 2542-8292 | | issn_series | 0166-6991 | | copyright | Springer Science+Business Media Dordrecht 1980 |
The information of publication is updating
书目名称Mechanism, Mentalism and Metamathematics影响因子(影响力)
书目名称Mechanism, Mentalism and Metamathematics影响因子(影响力)学科排名
书目名称Mechanism, Mentalism and Metamathematics网络公开度
书目名称Mechanism, Mentalism and Metamathematics网络公开度学科排名
书目名称Mechanism, Mentalism and Metamathematics被引频次
书目名称Mechanism, Mentalism and Metamathematics被引频次学科排名
书目名称Mechanism, Mentalism and Metamathematics年度引用
书目名称Mechanism, Mentalism and Metamathematics年度引用学科排名
书目名称Mechanism, Mentalism and Metamathematics读者反馈
书目名称Mechanism, Mentalism and Metamathematics读者反馈学科排名
|
|
|
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-13 18:09
发表于 2025-3-21 19:23:18
