咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 不定可扩展性概念
  • 1 篇 悖论
  • 1 篇 对角线方法
  • 1 篇 自然语言

机构

  • 1 篇 南京大学

作者

  • 1 篇 段天龙

语言

  • 1 篇 中文
检索条件"主题词=不定可扩展性概念"
1 条 记 录,以下是1-10 订阅
排序:
基于不定可扩展性概念再探对角线方法
收藏 引用
计算机科学 2023年 第S1期50卷 114-118页
作者: 段天龙 南京大学哲学系 南京210023
使用对角线方法不仅能得到数理逻辑的基本定理,也能导致逻辑悖论。通过对达米特的不定可扩展性概念及其与对角线方法的关联的考查,指出:(1)西蒙斯没有将不定可扩展性概念与对角线方法关联起来,所以其关于对角线论证不同类型的划分只是... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论