| 单词 | proof-theoretic |
| 释义 | > as lemmasproof-theoretic proof-theoretic adj. Mathematics of, relating to, or involving proof theory. ΘΚΠ the world > relative properties > number > mathematics > [adjective] > characterized by theories of or approaches to physico-mathematical1660 analytical1694 Bernoulli1749 analytic1761 Boolean1851 Sturmian1853 Bernoullian1876 Fermatian1887 Grassmannian1894 number-theoretic1899 Cantor1902 Cantorian1912 Tauberian1913 Thiessen1923 intuitionist1926 metamathematical1926 finitist1931 number-theoretical1936 finitistic1937 proof-theoretic1940 formalistic1941 Gödelian1942 constructivist1943 constructivistic1944 game-theoretical1946 game-theoretic1950 finitary1952 perturbation-theoretic1964 perturbation-theoretical1968 constructive1979 the mind > mental capacity > philosophy > mathematical philosophy > [adjective] > of other theories or systems finitist1904 incomplete1932 proof-theoretic1940 model-theoretic1956 model-theoretical1958 1940 Bull. Symbolic Logic 5 17 It is desirable to establish them as such by purely proof-theoretic methods. 1967 S. C. Kleene Math. Logic 118 The proof-theoretic approach to the predicate calculus. 1991 Mind 100 92 The acceptability of proof-theoretic rules for knowledge, and indeed for epistemic operators in general, does not hold out hostages to psychological contingency. < as lemmas |
| 随便看 |
|
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。