| 单词 | mathematical logic |
| 释义 | > as lemmasmathematical logic mathematical logic n. logic that is mathematical in its method, using symbols and following definite and explicit rules of derivation; modern or symbolic logic. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > mathematical or symbolic logic mathematical logic1853 symbolic logic1856 logic1903 logistic1918 1853 F. S. Mines Presbyterian Clergyman Contents p. vii No mathematical logic. 1864 A. De Morgan in Trans. Cambr. Philos. Soc. 10 176/2 This mathematical logic..will commend itself to the educated world. 1880 J. Venn in Princeton Rev. 248 What with the logicians who hate mathematics, and the mathematicians who despise logic, a theory of so-called mathematical logic does not find many friends. 1908 B. Russell in Amer. Jrnl. Math. 30 222 (title) Mathematical logic as based on the theory of types. 1990 Sci. Amer. July 82/1 Although philosophy and mathematical logic chiefly engaged him, he also contributed to economics..and semantics. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。