单词 | uninterpreted |
释义 | uninterpretedadj. That has not been interpreted. spec. in Logic, applied to a calculus, formula, or symbol that has no meaning assigned to the symbol(s) independently of the calculus. ΘΚΠ the mind > mental capacity > intelligibility > meaning > explanation, exposition > interpretation > [adjective] > interpreted > not uninterpreted1662 the world > relative properties > number > mathematics > [adjective] > relating to mathematical enquiry canonical1738 independenta1739 algorithmic1799 irreflexive1890 uninterpreted1898 consistent1928 polynomial time1972 1662 H. Hibbert Syntagma Theologicum 218 Amen. It is..an Hebrew word,..and..remaines uninterpreted. a1768 T. Secker Serm. Several Subj. (1771) V. vii. 139 Combinations of several Words may come to have Meanings very different from what the Terms,..uninterpreted by Practice, would lead one to apprehend. 1848 E. A. Leatham Charmione (1858) II. 22 Attributing that uninterpreted gladness to..the sights and sounds of a spiritual world. 1895 Educat. Rev. Nov. 352 Unsorted and uninterpreted fragments. 1898 A. N. Whitehead Treat. Universal Algebra i. 5 When the marks and their rules of arrangement are such as appear likely to receive an interpretation..then the art of arranging such marks may be called..an uninterpreted calculus. 1947 H. Reichenbach Elem. Symbolic Logic 165 The uninterpreted formula, regarded only as an aggregate of symbols equipped with certain structural properties. 1962 H. Wang Surv. Math. Logic i. 29 It is more correct to call the sentence-like expressions of Q statement schemata..because the symbols for predicate, functions, and individuals are uninterpreted. This entry has not yet been fully updated (first published 1924; most recently modified version published online March 2022). < adj.1662 |
随便看 |
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。