不敢说是内行,起码是合格的研究者。
[慈氏学论坛] [回复] [引用回复] [表格型] [跟帖] [关闭] [浏览0次]

用户名: chzhuang

数学第三次数学危机,当时有三大流派:逻辑主义、直觉主义和形式主义。

后来,形式主义吸收了直觉主义的很多方面,也因为希尔伯特的影响力,最后赢得了正统地位。

但其实直觉主义才是真正的胜利者。三次数学危机之后,直觉主义的能行性构造性思想,催生了计算机科学。

如何从直觉主义能行性构造性的角度,重新对前人的正统评论进行再评论,这个任务在很大程度上传承给了计算机科学工作者。



本贴于2009-07-23 11:14:51在 乐趣 哲学宗教慈氏学论坛发表.
[编辑] [删除] [查看ip] [加入黑名单] [推荐到首页]

 
加入我的乐趣收藏夹 乐趣举报信息留言
[发表新帖] [回复该帖] [引用回复] [表格型] [关闭]


快速回复:
主题
内容
图片链接
选项显示签名
        

郑 重 声 明
1. 任何言论纯属作者个人观点,与乐趣无关;
2. 禁止发表反动、色情和其他违反国家法律、法规的言论、信息;
3. 禁止利用本论坛进行赌博、非法买卖等违法行为;
4. 禁止发表恶意攻击他人的言论;
5. 任何转载或转贴都应注明真实作者和真实出处;
6. 禁止发表任何涉及政治、军事、外交等内容的言论;