undecidability

美:[´ʌndɪsaɪdə´bɪlɪtɪ]   英:[´ʌndɪsaɪdə´bɪlɪtɪ]

中文翻译

n.[数]不可判定性

网络解释

不可判定性; 不可判定性定理; 不可确定性

英文短语

  • 1.undecidability theorem [数]不可判定性定理;不可决策性定理
  • 2.essential undecidability [数]本质不可判定性
  • 3.Decidability and undecidability 可判定下和不可判定性
  • 4.undecidability of thue system 图埃系统的不可判定性
  • 5.undecidability of post system 波斯特系统的不可判定性
  • 6.undecidability of normal system 正规系统的不可判定性
  • 7.undecidability of arithmetic system 算术系统的不可判定性
  • 8.undecidability of semi-thue system 半图埃系统的不可判定性
  • 9.the undecidability of first-order logic 一阶逻辑的不可判定性
  • 英文例句

  • 1.That´s the negative response to undecidability, and it´s of course, a view that many of us may entertain.那就是对不可判定性的一个消极的反应,当然,我们可以容纳这个观点。

  • 其他单词翻译

    英文单词 中文含义
    trailered

    vt. 用拖车运(trailer的过去式与过去分词形式)

    网络解释

    预告片; 挂车; 尾部

    trainers

    n. 教练( trainer的名词复数 );(无钉的)软运动鞋;教练机;驯兽师

    网络解释

    运动鞋; 练习器; 软运动鞋

    trailside

    adj. 在小路边的,小径一侧的,沿山路的

    traipsed

    v. 漫步( traipse的过去式和过去分词 );拖曳;在…游荡;走过

    网络解释

    漫步; 闲逛; 疲惫地走

    trainband

    n. 民兵队

    网络解释

    民兵队

    trailering

    vt. 用拖车运(trailer的现在分词形式)

    网络解释

    小艇拖车

    training

    n. 训练;培养;(枪炮,摄影机等的)瞄准;整枝法

    v. 训练,培养( train的现在分词);教育;瞄准;整枝

    网络解释

    培养; 教育训练; 训练模式

    trailsman

    跟踪者

    网络解释

    跟踪者

    traipses

    v. 漫步( traipse的第三人称单数 );拖曳;在…游荡;走过

    网络解释

    漫步; 闲逛; 疲惫地走

    trainbandsman

    网络解释

    列车员

    trainload

    n. 列车载重,列车载客[载货]量

    网络解释

    列车载重; 列车装载

    trailerist

    拖带挂车的汽车驾驶员

    train

    n. 火车;行列;一系列相关的事情; 拖裾

    v. 训练;教育;培养;修整

    网络解释

    培养; 火车乐队; 列车站台

    traipsing

    v. 漫步( traipse的现在分词 );拖曳;在…游荡;走过

    网络解释

    漫步

    trainbearer

    n. (婚礼或其他礼仪中新娘等身后的)拉衣裙者,(北美产的)长尾蜂鸟

    网络解释

    拉衣裙者

    trainman

    n. 车车务员,乘务员

    网络解释

    机车司机; 列车乘务人员; 制动手

    trailerite

    n.乘拖车式活动房屋旅行者,活动房屋居住人

    train-mile

    n.列车行驶英里(用作计算票价单位)

    网络解释

    列车行驶英里; 列车哩

    trais
    trained

    adj. 训练过的,受训的

    v. 训练,锻炼,培养( train的过去式和过去分词 );教育;使(植物)朝某方向生长;[园艺学]修剪

    网络解释

    训练; 培训; 训练过的