Entscheidungsproblem

名词 n.
中文释义
英 /entˈʃaɪd.ʊŋsˌpɹɒb.lɪm/   

英文释义

名词 n.
  1. A decision problem of finding a way to decide whether a formula is true or provable within a given system.
    — ‘The Entscheidungsproblem,’ Rudy said. ‘Meaning?’ Alan explained, ‘Hilbert wanted to know whether any given statement could, in principle, be found true or false.’

词源

Unadapted borrowing from German Entscheidungsproblem.
0 次浏览 数据来源: Wiktionary