语言:  English  |  中文

意义的时代

Brian Cantwell Smith

2010年5月5日:中文版引言发布。如果您对译文有意见或者有意参与翻译工作,请与罗军联系。

2010年4月1日:今年秋季期间,本网站将逐渐引入更多功能,支持针对下面这些材料的评论、批判、注解、引用与研读;还将允许会员注册,以便新材料发表时大家可以收到通知,新章节发表后能够自动下载等等。

引言
第一卷 基础
1 项目
2 方法
3 意义
4 机制
5 逻辑
6 进程
7 形式化
8 前景
第二卷 形式化符号操纵
第三卷 有效可计算性
第四卷 对应连续统
第五卷 信息处理
第六卷 数字状态机
第七卷 在世间而有世界