停止性問題

停止性問題の説明は難しいが、簡潔に言うと、プログラムを走らせる前に、そのプログラムが無限ループに陥るか否かをあらかじめ知る一般的な方法はないということ。