网站首页  词典首页

请输入您要查询的词汇:

 

词汇 Gödel's theorem
释义

Definition of Gödel's theorem in English:

Gödel's theorem

(also Gödel theorem)
noun
Logic Mathematics
  • The demonstration that in any system of axioms there must be formulas which are true but neither provable nor disprovable within the system, thus making mathematics essentially incomplete; (also) the corollary that the consistency of such a system cannot be proved within that system; also called incompleteness theorem.

Origin

1930s; earliest use found in Max Black (1909–1988), philosopher.

Definition of Gödel's theorem in US English:

Gödel's theorem

(also Gödel theorem)
noun
Logic Mathematics
  • The demonstration that in any system of axioms there must be formulas which are true but neither provable nor disprovable within the system, thus making mathematics essentially incomplete; (also) the corollary that the consistency of such a system cannot be proved within that system; also called incompleteness theorem.

Origin

1930s; earliest use found in Max Black (1909–1988), philosopher.

随便看

 

春雷网英语在线翻译词典收录了464360条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。

 

Copyright © 2000-2024 Sndmkt.com All Rights Reserved 更新时间:2025/4/4 22:34:18