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.
11 次浏览 数据来源: Wiktionary