单词 | undecidability |
释义 | > as lemmasˌundecidaˈbility ˌundecidaˈbility n. the property of being undecidable. ΘΚΠ the world > relative properties > number > mathematics > [noun] > mathematical property irreductibility1865 utility1881 intransitivity1889 independence1902 non-linearity1904 connexity1905 analyticity1914 irredundance1925 irreflexiveness1933 decidability1936 non-emptiness1936 undecidability1942 irredundancy1952 irreflexivity1964 single-valuedness1968 the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > decidability or undecidability decidability1936 undecidability1942 1942 Mind 51 260 It therefore raises the issue of undecidability in the arithmetical as well as in the linguistic realm. 1967 S. C. Kleene Math. Logic v. 279 By the essential undecidability of S, S2 is undecidable. 1971 Sci. Amer. Aug. 99/1 In contrast, the Platonists, who count among their number even Gödel himself, believe (like Einstein) that the undecidability in mathematics is a statement about the inherent limitations of our present axiomatic mode of investigation and not about the mathematical objects themselves. < as lemmas |
随便看 |
|
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。