決定問題けっていもんだい

任意の数学的命題の真偽を機械的な手続きで判定できるか、というヒルベルトが提起した問い。チューリングは計算する機械の概念を定義することでこれに否定的に答え、計算機科学の礎を置いた。