公理系统

completely integrable

完全可积的

completely independent system of axioms 完全独立公理系统 | completely integrable 完全可积的 | completely integrable system 完全可积组

decision theory

决策(理)论

他对或然率、决策理论(decision theory)的兴趣,是到史丹福大学任教之后才开始的. 当时在史丹福一些从事这方面研究的校中的同事好友,一方面热心地教给他这方面的知识,也敦促他去设计相关的公理系统. 他还从事了与之相关的心理学的实证研究.

deduce

推论

定理是Theorem,是要根据基本的公理来推论(Deduce)的公理是Axiom,它不需要证明,是人们的共识,是常识(Common Sense). 公理就是在一个理论系统中被默认为真的命题,而定理是根据公理或其他的真命题(定理)推导出来的真命题.

derivation

导出

它的一个同义词是导出(derivation). 演绎是相对于系统的概念,说一个公式(或语句)是演绎的只是相对于一不定的公理和推理规则的具体系统而言的. 演绎概念是证明概念的概括. 一个证明是语句这样的有穷序列:它的每个语句或是公理或是根据推理规则由前面的语句得出的.

inconsistent

矛盾的

在一个制式系统里,若由公理经推理规则之推导,可以导出互为矛盾的定理时,此系统称为矛盾的(inconsistent). 反之,若无以上之情形,则此系统称为一致的或是和谐的. 此条件是制式系统具有物理意义的基础. 制式系统的发勒甚早,可溯至欧氏几何.

Karl marx

提出共产主义理论

Kurt Goedel:证明公理系统的不完备性定理,指出人类理性的极限 | Karl Marx:提出共产主义理论 | John von Neumann:建立可编程计算机构架,建立量子力学的严格数学基础

Niels Bohr

建立原子理论,量子力学哥本哈根学派宗师

Albert Einstein:证明时空是相对的,提出光量子假说,促建第一颗原子弹 | Niels Bohr:建立原子理论,量子力学哥本哈根学派宗师 | Kurt Goedel:证明公理系统的不完备性定理,指出人类理性的极限

Ontario moonstone：安大略月光石,安大略月长石

onicolo 玛瑙 | Ontario moonstone 安大略月光石,安大略月长石 | onychite 雪花石膏

She is vilified by the press for her controversial view：因她持有异议,新闻界对她横加挞伐

牐12. vilify 诽谤,中伤 | 牐燬he is vilified by the press for her controversial view. 因她持有异议,新闻界对她横加挞伐. | 牐13. decry 责难,诽谤