请输入您要查询的英文单词:

 

单词 uninterpreted
释义

uninterpretedadj.

Brit. /ˌʌnɪnˈtəːprᵻtᵻd/, U.S. /ˌənᵻnˈtərprədəd/
Etymology: un- prefix1 2.
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条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2024/11/10 23:43:58