对角线上的真

摘要：

超穷的真概念是构造数论中不可判定语句的助探原则(heuristic principle).反对这个概念的人实际上难以得到这个结果.——哥德尔
“真”这个词的内容是不可[用更基本的概念]定义的.这个词的意义表达在关于真的规律[即逻辑规律]之中.——弗雷格
下面解释,在相对简单的语言(形式语言)中,超穷的、不可定义(归约)的经典“真”,如何作为概念分析的基础,担任哥德尔构造形式不可判定句的助探原则.解释的过程例示了经典“真”相对于更为具体的“真”(如“可证”)的概念优先性.

机标关键词：对角线

分类号：O157.5;TP391.41;TS805.3

资助基金：教育部人文社会科学研究项目12JJD720011

在线出版日期：2015-03-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：134-143