康孝军

作品数：7被引量：4H指数：1
导出分析报告
供职机构：吉林大学哲学社会学院更多>>
发文主题：归约实用主义有穷哲学意义递归更多>>
发文领域：哲学宗教自然科学总论理学更多>>
发文期刊：《逻辑学研究》《科学技术哲学研究》《自然辩证法通讯》更多>>
所获基金：国家社会科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
从实用主义看反推数学
《自然辩证法通讯》2023年第3期46-54,共9页康孝军 
国家社会科学基金青年项目“反推数学的哲学基础研究”(项目编号:15CZX045)。
反推数学是从定理“反推”公理,每一位数学工作者都可利用这一新方法来开启新研究。追本溯源,反推数学是希尔伯特纲领的一种部分实现。这一相对实现除了延续了希尔伯特纲领的可靠性证明初衷外,无疑也继承了工具主义这一特征,是从实用角...
关键词：实用主义 反推数学 希尔伯特纲领 数学真理 可修正性 
反推数学与无穷
《逻辑学研究》2022年第4期1-15,共15页康孝军 
国家社会科学基金青年项目(15CZX045)。
无穷一直以来都是数学哲学中的一个基本问题,但不同的无穷观都未令人满意。反推数学这一数学新纲领给无穷研究带来了新视角。本文在简述数学中的无穷概念后,利用反推数学对无穷进行梳理。具体而言,首先,反推数学可将经典数学中的大部分...
关键词：反推数学 无穷 归约 高阶反推数学 
有穷多模态类型逻辑语法及其在汉语中的应用
《逻辑学研究》2018年第3期58-70,共13页康孝军 
国家社会科学基金青年项目(15CZX045)
多模态类型逻辑是一种模态Lambek演算的分支。以类型逻辑为基础的范畴语法一般用于自然语言的智能处理。在多模态类型逻辑语法中添加假设集的方式可以用来处理汉语语言现象。本文采用带有穷假设集的多模态非结合Lambek演算的根岑表述系...
关键词：类型逻辑语法 Lambek演算 有穷假设集 语序 
希尔伯特的有穷数学被引量：2
《自然辩证法通讯》2018年第6期44-49,共6页康孝军 
国家社会科学基金青年项目"反推数学的哲学基础研究"(项目编号:15CZX045)
希尔伯特为了一劳永逸地解决数学基础问题,提出了著名的希尔伯特纲领。该纲领旨在把数学归约到毋庸置疑的有穷数学。遗憾的是,希尔伯特本人并未对有穷数学给出具体形式化。在简介希尔伯特有穷数学的基本思想后,梳理了各种不同的形式化系...
关键词：希尔伯特 有穷数学 初始递归算术 
基于英文法律语言的Lambek演算
《逻辑学研究》2016年第4期100-109,共10页关颖雄 康孝军 
国家社会科学基金青年项目(15CZX045)
本文的主要研究对象是服务于英文法律语言处理的类型逻辑与范畴语法。首先,分析并总结英文法律语言主要的句法特征,由此提出刻画这些特征的类型逻辑与对应的范畴语法。同时,证明了本文所关注的类型逻辑是可判定的且其对应的范畴语法是...
关键词：英文法律语言 类型逻辑 范畴语法 
反推数学及其哲学意义被引量：4
《科学技术哲学研究》2015年第2期34-39,共6页康孝军 
吉林大学2014年基本科研项目(450060502080)
反推数学是数理逻辑中的一个非常热门的研究领域。与一般的数学实践不同,反推数学不是从公理推导出定理,而是通过"反推"来寻找证明该定理所必需的公理。事实上,反推数学有着深厚的哲学背景:其继承和发展了希尔伯特纲领,是一种希尔伯特...
关键词：反推数学 希尔伯特纲领 归约 实用主义 
关于Erds-Moser定理的研究(英文)
《逻辑学研究》2013年第1期39-48,共10页康孝军 
本文主要研究Erds-Moser定理。在简单介绍了反推数学的一些基础知识后,首先研究了Erds-Moser定理的证明论强度:存在一个可计算的二元二染色函数使得任何无穷Σ02集合都不是该函数的传递集,同时存在一个可计算的二元二染色函数使得...
关键词：定理 稳定性 基础知识 函数 子系统 染色 二元 证明 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部