教育资源公共服务平台
站内导航
英语单词
英文缩写
英文名
科技词典
专业词典
中文字典
成语
汉语词典
国家查询
大学查询
软件下载
邮编查询
教育资源导航
公共查询
科学技术名词
证明论
数学
数理逻辑数学基础
证明论
构造论者 constructivist 构造论者的意思 constructivist的意思 构造论者的英文 constructivist的翻译
构造论者
规范用词
构造论者
英文对照
constructivist
所属学科
数学
>
数理逻辑数学基础
>
证明论
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
1993年
科学技术名词为您提供构造论者,constructivist,构造论者的意思,constructivist的意思,构造论者的英文,constructivist的翻译,构造论者的翻译,构造论者是什么意思,构造论者什么意思,constructivist是什么意思,constructivist什么意思
构造论者 相关科技名词
证明论»
希尔伯特计划
Hilbert program
直觉主义逻辑
intuitionist logic
构造性
constructivity
构造论者
constructivist
直觉主义数学
intuitionistic mathematics
抽象[化]
abstraction
佩亚诺公理
Peano axiom
数学归纳法
mathematical induction
二阶算术
second-order arithmetic
数词可表示性
numeralwise representability
可驳[的]
refutable
ω相容性
ω-consistency;omega- consistency
不可证明性
unprovability
强度
strength
相对相容性
relative consistency
算术化
arithmetization
算术系统
arithmetic system
元理论
metatheory
元逻辑
metalogic
元语言
metalanguage
独立性
independence
元数学
metamathematics
可判定性
decidability
形式不可判定命题
formal undecidable proposition
判定问题
decision problem
截规则
cut rule