Maeckes logo

<    1    >


决策问题 (Entscheidungsproblem)

决策问题要求用一个算法来决定一个给定的语句是否可以用逻辑规则从公理中证明。

 


解释

 


其他信息

这个问题是德国数学家大卫-希尔伯特1928 年提出的。

 


Deutsch   English   Español   Français   Nederland