未找到相关数据
关于形式化的几个问题
被引：7
作者：
吴允曾
机构：
[1] 北京大学计算机科学系
来源：
关键词：
能行可计算性;
定义;
严格化;
真理性;
命题;
当且仅当;
罗素悖论;
哥德尔不完全性定理;
哥德尔定理;
不可定义性;
塔尔斯基;
理性概念;
形式概念;
形式化;
严格蕴涵;
实质蕴涵;
选择公理;
公理(数学);
D O I：
暂无
中图分类号：
学科分类号：
摘要：
<正> 一、导言形式化问题是逻辑学、数学以及有的技术科学中的中心问题之一。这些科学中广泛地应用了形式化方法(或者说“形式方法”)。而关于究竟什么是形式化,有些概念有待于澄清。例如形式化与严格化、形式化与公理化、形式结构与解释等等。其次近代数理逻
引用
收藏
页码：38 / 41
页数：4
相关论文