• 全部
    高级检索
主办单位：煤炭科学研究总院有限公司、中国煤炭学会学术期刊工作委员会
首页 > 论文库
论现代逻辑的应用
  • 512
  • 作者

    W.V.O.蒯因孙伟平

  • 单位

    哈佛大学哲学系中国社会科学院哲学所 美国北京100732

  • 摘要
    现代逻辑的价值和意义,在于其在理论上的应用。对于纯数学的基础和结构来说,现代逻辑是一种非常有用的工具,包括哥德尔不完全性定理等,都利用了现代逻辑的技术和成果。某些现代逻辑技术已经广泛应用到了工程学之中,例如,计算机工程就基于现代逻辑的高级成果。反过来,这些应用又刺激了逻辑理论本身取得更多的进步。
  • 关键词

    逻辑现代逻辑数学工程学应用

相关问题
立即提问
湖南科技大学学报（社会科学版）
Journal of Hunan University of Science & Technology(Social Science Edition)
中文核心期刊/中国科技核心期刊
CSSCI中文社会科学引文索引期刊
2005年05期
推荐专家
推荐企业
华洋通信

华洋通信
推荐专题
《煤田地质与勘探》虚拟专题︱深部煤层气最新研究进展
《煤田地质与勘探》虚拟专题︱深部煤层气最新研究进展
理事单位特刊：矿山智能化建设创新成果与典型案例（《智能矿山》）
理事单位特刊：矿山智能化建设创新成果与典型案例（《智能矿山》）
《煤炭学报》专题报道丨“矿山充填开采理论、方法及技术”
《煤炭学报》专题报道丨“矿山充填开采理论、方法及技术”
《煤炭学报》专题报道 |“深部灾害防控理论与技术”
《煤炭学报》专题报道 |“深部灾害防控理论与技术”
《煤炭科学技术》虚拟专题 | 一键下载 | 2023~2024年低碳减损绿色开采成果
《煤炭科学技术》虚拟专题 | 一键下载 | 2023~2024年低碳减损绿色开采成果
《煤炭科学技术》热文精选 | 一键下载 | “煤矿智能化关键技术成果”
《煤炭科学技术》热文精选 | 一键下载 | “煤矿智能化关键技术成果”
《矿业安全与环保》“矿山粉尘在线监测预警与智能防控”专题
《矿业安全与环保》“矿山粉尘在线监测预警与智能防控”专题
《洁净煤技术》精品专题丨“氢能前沿与挑战性技术”专题
《洁净煤技术》精品专题丨“氢能前沿与挑战性技术”专题
《工矿自动化》“深部开采覆岩破坏与地压灾害多源信息监测及预警技术”专题
《工矿自动化》“深部开采覆岩破坏与地压灾害多源信息监测及预警技术”专题
《工矿自动化》“深部开采覆岩破坏与地压灾害多源信息监测及预警技术”专题
《工矿自动化》“深部开采覆岩破坏与地压灾害多源信息监测及预警技术”专题
亮点论文

主办单位：煤炭科学研究总院有限公司 中国煤炭学会学术期刊工作委员会

©版权所有2015 煤炭科学研究总院有限公司 地址：北京市朝阳区和平里青年沟东路煤炭大厦 邮编：100013
京ICP备05086979号-16  技术支持：云智互联