-
题名Godel不完备性定理的非形式化论述
- 1
-
-
作者
张民悦
惠富春
-
机构
甘肃工业大学基础科学系
-
出处
《甘肃工业大学学报》
2000年第3期105-107,共3页
-
文摘
研究了对现代数理逻辑与形式系统公理化方法有着深远影响及重大意义的Godel不完备性定理 1和定理 2 ,给出了 Godel不完备性定理证明的一种非形式化论述 .非形式化地阐述了 Godel不完备性定理证明的基本思想 ,论述了
-
关键词
GODEL不完备性定理
GODEL数
GODEL配数法
证明论
-
Keywords
Godel incompleteness theorems
Godel number
Godel number matching method
proof theory
-
分类号
O141.2
[理学—基础数学]
-
-
题名乔姆斯基语言学的数学基础
被引量：5
- 2
-
-
作者
石毓智
-
机构
新加坡国立大学人文社会科学院
-
出处
《外语研究》
CSSCI
北大核心
2017年第4期5-9,21,共6页
-
文摘
乔姆斯基语言学的重要概念和思想几乎都是来自于数学。半个多世纪以来,乔姆斯基一直尝试把数学结构移植到语言学中来,他的理论的各种形态背后都有其相应的数学影子,所以了解有关的数学概念和背景是理解乔姆斯基理论的关键。我们认为,乔姆斯基理论的科学表象来自于对数学概念的借用和数学表现手段的运用,然而数学体系与自然语言之间存在着本质的区别,乔氏理论在自然语言分析上的问题也源自于他这种创立语言学的方式。
-
关键词
乔姆斯基语言学
数学
公理化
希尔伯特方案
不完备定理
-
分类号
H030
[语言文字—语言学]
-
