作为哲学的数理逻辑下载
- 电子书名称：作为哲学的数理逻辑
- 电子书分类：文化
- 电子书作者：杨睿之
- 电子书类型：TXT/PDF
- 信息来源：豆瓣
- ISBN： 9787309126587
- 出版时间： 2016-11-1
- 出版社： 复旦大学出版社
文档说明：
- 一、《作为哲学的数理逻辑》是作者【杨睿之】创作的原创小说作品！
- 二、谁知我电子书免费提供TXT小说，TXT电子书下载。本站所有电子书资源均由网友提供的网盘，所有资源本站不负责保存，如果您认为本站的内容侵犯了您的版权，联系我们将在第一时间将该链接删除。本站不负一切责任！
作为哲学的数理逻辑目录
1.1 数理逻辑与分析哲学的蜜月期
1.1.1 弗雷格《概念文字》与《算术基础》
1.1.2 罗素《论指称》
1.1.3 刘易斯对严格蕴涵的刻画
1.1.4 塔斯基的真定义
1.1.5 图灵对能行过程的刻画
1.2 分道扬镳
1.2.1 形式语言vs．日常语言
1.2.2 自然化的分析哲学
1.2.3 新形式主义
1.3 危机与困境
1.3.1 分析哲学的危机
1.3.2 数理逻辑的困境
第二章 计算与随机
2.1 不可计算的度
2.1.1 递归可枚举集
2.1.2 度的结构
2.2 随机性
2.2.1 随机性的对象
2.2.2 刻画随机性
2.2.3 随机性与可计算性
第三章 相对一致性
3.1 相对一致性结果的意义和有穷主义方法
3.2 可构成集与直谓主义
3.3 力迫法与脱殊扩张
3.3.1 外模型与玩具模型
3.3.2 想象的语言
第四章 无穷之上
4.1 二阶算术与大基数
4.1.1 描述集合论
4.1.2 无穷博弈与决定性公理
4.1.3 大基数公理
4.2 连续统假设与内模型计划
参考文献
索引
符号索引
术语索引
人名索引
· · · · · ·
作为哲学的数理逻辑下载链接
来自微博用户的评论2020-12-24 10:20:36
#ruby阅读笔记# 《作为哲学的数理逻辑》杨睿之太难了真的，如何理论化把问题归结于数学问题呢去年相见恨晚的弗雷格在这里完全只是一个最简单的铺垫，笔记没做什么语言上的干货（不然是真的抄书）这里也只是导言部分的后面还有计算与随机、相对一致性、无穷之上三章以严谨的定义为标准的叙述& ...
来自微博用户的评论2020-12-24 10:20:36
#男频# ［推文］《走进修仙》作者：吾道长不孤，地球科学家穿越到灵气宇宙理科修仙的故事。600多w字，单女主。数理逻辑包括zz哲学方面作为文科生看起来没有发现很突兀的bug和无法自洽的地方，人物剧情节奏方面则是有所缺憾。如果好理科修仙这种脑洞搭配的人会喜欢这文，如果对这种设定没有爱就喜欢普遍 ...
来自微博用户的评论2020-12-24 10:20:36
#想读《作为哲学的数理逻辑》# 作为哲学的数理逻辑 来自
来自微博用户的评论2020-12-24 10:20:36
很正常啊，第一，历年都有职位招哲学的；第二，随便啥学科打算考公务员作为一个现实职业选择的都很正常；第三，说什么公务员考试考逻辑数学题的，数理逻辑各类逻辑这些是哲学必修课，真的逻辑和数学不好的学毛线哲学啊