找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Mechanism, Mentalism and Metamathematics; An Essay on Finitism Judson Chambers Webb Book 1980 Springer Science+Business Media Dordrecht 198

[復(fù)制鏈接]
查看: 13776|回復(fù): 35
樓主
發(fā)表于 2025-3-21 19:23:18 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Mechanism, Mentalism and Metamathematics
副標(biāo)題An Essay on Finitism
編輯Judson Chambers Webb
視頻videohttp://file.papertrans.cn/629/628655/628655.mp4
叢書名稱Synthese Library
圖書封面Titlebook: Mechanism, Mentalism and Metamathematics; An Essay on Finitism Judson Chambers Webb Book 1980 Springer Science+Business Media Dordrecht 198
描述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
關(guān)鍵詞effectiveness; formalism; foundation; idea; mathematics; model; nature; philosophy; present; subject
版次1
doihttps://doi.org/10.1007/978-94-015-7653-6
isbn_softcover978-90-481-8357-9
isbn_ebook978-94-015-7653-6Series ISSN 0166-6991 Series E-ISSN 2542-8292
issn_series 0166-6991
copyrightSpringer Science+Business Media Dordrecht 1980
The information of publication is updating

書目名稱Mechanism, Mentalism and Metamathematics影響因子(影響力)




書目名稱Mechanism, Mentalism and Metamathematics影響因子(影響力)學(xué)科排名




書目名稱Mechanism, Mentalism and Metamathematics網(wǎng)絡(luò)公開度




書目名稱Mechanism, Mentalism and Metamathematics網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Mechanism, Mentalism and Metamathematics被引頻次




書目名稱Mechanism, Mentalism and Metamathematics被引頻次學(xué)科排名




書目名稱Mechanism, Mentalism and Metamathematics年度引用




書目名稱Mechanism, Mentalism and Metamathematics年度引用學(xué)科排名




書目名稱Mechanism, Mentalism and Metamathematics讀者反饋




書目名稱Mechanism, Mentalism and Metamathematics讀者反饋學(xué)科排名




單選投票, 共有 1 人參與投票
 

1票 100.00%

Perfect with Aesthetics

 

0票 0.00%

Better Implies Difficulty

 

0票 0.00%

Good and Satisfactory

 

0票 0.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 20:57:53 | 只看該作者
板凳
發(fā)表于 2025-3-22 01:27:25 | 只看該作者
The Mental, The Finite, and The Formal,ge einer sicheren Grundlage, als nicht eine Methode angegeben ist, mittels deren bei einer bestimmten vorgelegten Funktion entscheiden werden kann, ob dieselbe der aufgestellten Definition gem?ss irreduktibel ist oder nicht (quoted in [9], p. 328).
地板
發(fā)表于 2025-3-22 07:36:16 | 只看該作者
Mechanism: Some Historical Notes,nes will require a concept of machine which uproots and generalizes its origins, and suitably modifies or rejects the properties of determinism and predictability that were based on them. Thus it was only by assuming that God made the universe that Descartes could claim it was only “a machine in which everything happens by figure and motion”.
5#
發(fā)表于 2025-3-22 10:17:11 | 只看該作者
6#
發(fā)表于 2025-3-22 13:27:49 | 只看該作者
978-90-481-8357-9Springer Science+Business Media Dordrecht 1980
7#
發(fā)表于 2025-3-22 19:03:53 | 只看該作者
8#
發(fā)表于 2025-3-22 21:22:58 | 只看該作者
https://doi.org/10.1007/978-94-015-7653-6effectiveness; formalism; foundation; idea; mathematics; model; nature; philosophy; present; subject
9#
發(fā)表于 2025-3-23 03:40:01 | 只看該作者
10#
發(fā)表于 2025-3-23 05:52:25 | 只看該作者
Mechanism: Some Historical Notes,lely by mechanical laws, and often as any man-made device for performing some task, and often as both. Machine behavior was assumed to be completely determined by such laws, and as a consequence of this, also . in principle, for the laws allowed one to calculate its behavior. A paradigm machine havi
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-7 14:57
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
德昌县| 石家庄市| 天峻县| 德令哈市| 台北市| 清远市| 巴青县| 绍兴县| 赣州市| 阳西县| 静乐县| 清丰县| 江油市| 临潭县| 拜泉县| 奉贤区| 甘德县| 邵阳市| 冀州市| 阳江市| 岑巩县| 阳西县| 美姑县| 尚志市| 蓝山县| 改则县| 社会| 普安县| 聂荣县| 赤城县| 保德县| 修水县| 新郑市| 二连浩特市| 温泉县| 墨玉县| 双鸭山市| 揭阳市| 锡林郭勒盟| 巫溪县| 酒泉市|