可判定性

From Wikipedia, the free encyclopedia

Remove ads

可判定性德文Entscheidungsproblem,「決定問題」噉解)係由德國數學家打域囂拔(David Hilbert)喺 1928 年提出嘅一個問題。呢個問題要求人俾出一個演算法嚟攞一句陳述做 input,然後再答「嗰句陳述係咪 universally valid」。


Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads