diaryこの広告は、90日以上更新していないブログに表示しています。歴史】【宇宙とは】宇宙との対話:正しいとも正しくないとも判定できない命題が存在する。1906−78)が証明した。・・・その後、チューリングが、ある命題が真偽を判定できない命題であるかどうかを、あらかじめチェックする統一的な方法がないということを証明した。/小川洋子(p.147〜151)☆検証不能であり、かつ検証不能なことをあらかじめチェックできない命題があるとすれば、「探索は永遠である」ということになる。1906−78)・・・その後、チューリングが、ある命題が真偽を判定できない命題であるかどうかを、あらかじめチェックする統一的な方法がないということを証明した。#VISIBLE月別アーカイブはてなブログをはじめよう!studiogoodaさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。