１９ 不完全性定理

１９　不完全性定理【宇宙とは】宇宙との対話

：正しいとも正しくないとも判定できない命題が存在する。
・・・1930年にゲーデル（オーストリア　1906－78）が証明した。
・・・その後、チューリングが、ある命題が真偽を判定できない命題であるかどうかを、あらかじめチェックする統一的な方法がないということを証明した。
　「世にも美しい数学入門」藤原正彦／小川洋子(p.147～151)

☆検証不能であり、かつ検証不能なことをあらかじめチェックできない命題があるとすれ
ば、「探索は永遠である」ということになる。
・・・探索を一生続けても何も残らないかもしれないが、・・・