累计查询 0.00 亿次

realizability

  • n.
    [数] 可实现性；现实性

双语例句

  1. The realizability and economy of the process is discussed.
    论述了该方案的现实性和经济性。
  2. This paper presents a computer program for the realizability of a cutset matrix.
    本文给出“割集矩阵可实现性算法”的计算机程序。
  3. In the controller the local measurable information was used to ensure the realizability.
    在控制器中采用局部可测信息量，以确保其可实现性。

网络短语

  • multiple realizability
    实现性；多重实现性
  • physical realizability
    物理上可实现性
  • recursive realizability
    递归可实现性
  • realizability condition
    可实现条件；可时限条件
  • realizability property
    可实现性质

同义词

n.
thisness
[数]可实现性；现实性

英英释义

  • In mathematical logic, realizability is a collection of methods in proof theory used to study constructive proofs and extract additional information from them.van Oosten 2000 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.