fiercewindsの日記: L≠Pの証明(?) 2
先日はコメントありがとうございました。
頂いた指摘事項を元にアップデートしました。
証明戦略も大幅に変更しましたので書きなおしています。
#無限の選択を実現するために、万能チューリングマシンを使用した対角線論法にしています。
自分では間違いを見つけられませんでしたが、大きなギャップの見落としはあるかもしれません。
ご指摘・コメントいただければと思います。
_____________________________________________________________
○証明概要
対角線論法を用いた方法(階層定理の証明の変形)によりL≠Pを証明し、その結果からP≠NPを証明しています。
○L≠Pの証明
・補題1
∀r∈L(¬r∈L)
∀r∈P(¬r∈P)