公理系统

作品数：321被引量：417H指数：10
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：段振华唐芳芳桂起权陈瑞祥姜殿玉更多>>
相关机构：中国社会科学院哲学研究所西安电子科技大学中山大学陕西师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家社会科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
兼容抑或分歧:柏拉图宇宙生成论与现代宇宙大爆炸模型
《东北大学学报(社会科学版)》2025年第1期26-33,共8页赵奇 
国家社会科学基金重大项目(21ZDA020);中央高校基本科研业务费专项资金项目(N2413008).
柏拉图在«蒂迈欧篇»中系统地描绘宇宙生成的图景,匠神在空间和元素痕迹的基础上,以理念为原型制作宇宙.宇宙包含由运动天体构成的月上界,以及由可朽生命体等物质实体构成的月下界.最为关键的问题是:柏拉图的宇宙生成论是否可在现代焕发...
关键词：柏拉图 宇宙生成论 大爆炸 公理系统 存在论 
基于MK的实数公理系统相容性和范畴性的Coq形式化
《控制理论与应用》2024年第7期1274-1285,共12页郭达凯 冷姝锟 窦国威 陈思 郁文生 
国家自然科学基金项目(61936008)资助。
数学定理机器证明是人工智能基础理论的深刻体现.实数理论是数学分析的基础,实数公理系统是建立实数理论的重要方法.Morse-Kelley公理化集合论(MK)作为现代数学的基础,也为实数构建提供了严谨的数学框架和工具.本文使用定理证明器Coq,基...
关键词：Morse-Kelley公理化集合论 实数公理系统 相容性 范畴性 COQ 形式化 机器证明 人工智能 
理解与解释:一种知识逻辑的视角
《逻辑学研究》2024年第3期24-50,共27页魏宇 
support from Shanghai Pujiang Program(No.22PJC034);Fundamental Research Funds for the Central Universities(No.2022ECNU-YYJ038)。
知识逻辑学家很少关注“理解”这一概念,这与科学哲学和知识论领域的研究现状形成了鲜明对比。本文提出了一种类似知识逻辑的框架来刻画“理解”。由于“解释”帮助理解,该模型包含不同程度的解释概念,并在这些解释之间建立起一种偏序...
关键词：知识逻辑 公理系统 偏序关系 逻辑学家 帮助理解 理解与解释 哲学讨论 理解概念 
《周髀算经》的“公理系统”是如何建立的?
《自然辩证法研究》2024年第1期94-99,共6页孙小淳 杨柳 
国家自然科学基金项目“郭守敬星表与乌鲁伯格星表比较研究”(12073030);国家自然科学基金青年项目“彝族天文学中的二十四节气与二十八宿研究”(12303070)。
《周髀算经》是中国古代盖天说的重要模型。本文对这个模型的基本假设、观测、推论和对天文现象的解释进行了分析,说明该模型的“公理化”构造是极不完备的,充满了各种特设性假设。对日影“千里差一寸”的来源提出了新的猜测,认为是基...
关键词：《周髀算经》 盖天说 公理化模型 千里差一寸 
“形式”与数学基础问题:基于胡塞尔哥廷根数学学会报告的考察被引量：1
《安徽大学学报（哲学社会科学版）》2023年第2期10-16,共7页奚颖瑞 
现代数学的一个基础问题是如何理解“形式”的地位与作用,它涉及对现代数学性质的理解与研究路径的选择。胡塞尔指出,数学在经历了19世纪的急剧扩张之后,已经上升到作为“理论之理论”的“理论形式”层面,并带来了如何澄清这种数学的可...
关键词：胡塞尔 理论形式 数系扩张 公理系统 确定性 
公理系统视角下的亚里士多德三段论
《今古文创》2023年第14期72-74,共3页郭姣姣 
亚里士多德是古希腊哲学的集大成者,在当时几乎所有的学科都有所建树,从而也在自己丰富的哲学、认识论和几何学等知识的基础上形成了独特的演绎构建学科的观点,并在这一观念的指导下提出了他的三段论学说。他以谓述和条件句的方式将三...
关键词：亚里士多德 三段论 化归 公理系统 
集值信息系统的公理系统
《逻辑学研究》2022年第5期51-69,共19页曹发生 
国家社科基金项目“多模态逻辑的代数语义研究”(项目批准号20XZX017)。
自从波兰数学家Z.Pawlak建立信息表的逻辑系统以来,出现了各种信息系统及其逻辑的研究。集值信息系统在机器学习方面有着重要的应用,本文从一个具体的集值信息系统的例子引发出建立集值信息系统的公理系统必要性。首先借助相容性关系给...
关键词：集值信息系统 过滤 典范模型 公理系统 
课本上的“公理”可以证明吗?
《中学生数学》2022年第20期19-23,共5页金磊 
我们都学过初中平面几何,也都大概了解“所谓”的公理系统,即由一些基本的结论作为公理,结合定义(定义也可以作为公理),利用逻辑推理可以证明其余的所有的其他结论(也可以统称为定理).我们也知道公理体系的公理往往有两个基本特征:(1)...
关键词：公理系统 公理体系 逻辑推理 初中平面几何 定理 基本特征 证明 
支持索引式的PPTL定理证明器的实现被引量：1
《软件学报》2022年第6期2172-2188,共17页王小兵 寇蒙莎 李春奕 赵亮 
国家自然科学基金(61672403,61972301);陕西省重点研发计划(2020GY-043,2020GY-210)。
定理证明是目前主流的形式化验证方法,拥有强大的抽象和逻辑表达能力,且不存在状态空间爆炸问题,可用于有穷和无穷状态系统,但其不能完全自动化,并且要求用户掌握较强的数学知识.含索引式的命题投影时序逻辑(PPTL)是一种具有完全正则表...
关键词：定理证明 COQ 索引式 命题投影时序逻辑 公理系统 
基于进程代数的Yahalom协议正确性的形式化验证
《计算机科学》2021年第S01期481-484,共4页王然然 王勇 蔡雨桐 姜正涛 代桂平 
广西密码学与信息安全重点实验室研究课题(GCIS201808)。
通信过程中为了使得通信双方之间的对话过程是安全传输的,在引入可信第三方的基础上,Yahalom协议借助于可信第三方为通信双方分配"好"的会话密钥,利用该共享密钥加密对话内容保证双方对话的安全。Yahalom协议的形式化验证具有很重要的...
关键词：Yahalom协议 进程代数 形式化的验证 可信第三方 ACP公理系统 
全选清除导出
共32页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部