Remove ads
Found in articles
獨立性 (數理邏輯)
在數理邏輯上，獨立性指的是一個句子相對於其他句子的不可證明性。 若一個句子 σ {\displaystyle \sigma } 獨立於一個一階理論（英语：Theory (mathematical logic)） T {\displaystyle T} ，那就表示說 σ {\displaystyle \sigma } 在 T {\displaystyle
《遍歷理論講義》 Lectures on Ergodic Theory. Chelsea. 1960年 《朴素集合论》 Naive Set Theory. Springer Verlag. 1962年 《代數邏輯》 Algebraic Logic. Chelsea. 1963年 《布林代數講義》 Lectures
continuum hypothesis. Mathematical Systems Theory 1:89-111. 1970. 'Advice in modal logic'. In Philosophical Problems in Logic, ed. K. Lambert, pages
Algebraic topology of algebraic varieties. Russian Mathematical Surveys 1965 Manin: Modular forms and Number Theory. International Congress of Mathematicians,
概率逻辑
Monney. A Mathematical Theory of Hints. An Approach to the Dempster-Shafer Theory of Evidence. Lecture Notes in Economics and Mathematical Systems , vol