可实现性 Realizability

（重定向自Realizable）

可实现性是可用来处理关于公式的信息而不是关于公式的证明的那部分证明论。自然数n被称为实现了自然数算术的语言中一个陈述。其他逻辑和数学陈述也是可实现的，假如提供了解释合式公式一种方法，而不用借助达成这些公式的证明。

单词	realizable
释义	realizable /'rilaɪzəbl/ 英汉-汉英词典 adj. 可实现的,可实行的,可了解的词组 \| 习惯用语 realizable value [经]可变现的价值 net realizable value 净变现价值英语例句库 10 per cent of realizable assets. 可变现资产的10%。声明：以上例句、词性分类均由互联网资源自动生成，未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。原声例句人物杂志 The most difficult job in the royal family is to work with Meghan's ambitions and make them realizable, says another source close to the family. “王室最困难的工作是实现梅根的雄心壮志。” 亨利·亚当斯的教育（下） This was the instinct of what might be named McKinleyism; the system of combinations, consolidations, trusts, realized at home, and realizable abroad. 这是所谓的麦金莱主义的本能；在国内实现并在国外实现的组合、合并、信托系统。中文百科可实现性 Realizability （重定向自Realizable）可实现性是可用来处理关于公式的信息而不是关于公式的证明的那部分证明论。自然数n被称为实现了自然数算术的语言中一个陈述。其他逻辑和数学陈述也是可实现的，假如提供了解释合式公式一种方法，而不用借助达成这些公式的证明。英语百科 Realizability 可实现性（重定向自Realizable） In mathematical logic, realizability is a collection of methods in proof theory used to study constructive proofs and extract additional information from them. Formulas from a formal theory are "realized" by objects, known as "realizers", in a way that knowledge of the realizer gives knowledge about the truth of the formula. There are many variations of realizability; exactly which class of formulas is studied and which objects are realizers differ from one variation to another. 近义、反义、联想词近义词 adj. tangible, possible 反义词 n. intangible, impossible 联想词 achievable做得成的,可完成的,可有成就的;attainable可到达的,可得到的;feasible可行的;practicable可实行的;tangible有形的;deterministic确定的;computation计算;obtainable可获得的;approximation接近;realization认识, 领会;attain达到，实现;
随便看	arrested hydrocephalus Arrested labor Arrested landing arrested periodontitis arrested property arrested rotation Arrested thoracal development arrested topographic wave arrested vaginal development arrestee arrester arrester alternation sparkovervoltage arrester carbon arrester catch arrester characteristic element arrester discharge capacity arrester discharge counter arrester discharge indicator arrester discharge voltage current characteristic arrester disconnector arrester for switch board Arrester gear arrester grading ring arrester ground arrester ground terminal

realizable /'rilaɪzəbl/

可实现性 Realizability

Realizability 可实现性

近义词

反义词

联想词