最近の記事

矛盾から導く,あなたが天才であることの証明

こちらの記事は,論理学を楽しく学ぼうという趣旨でお送りしております.からかっているつもりはありません. 釣ろうとはちょっとしました.ごめんなさい. 完全に独学ですので,内容には誤りが含まれる可能性がありまくります. 是非,皆さんの手で証明して,逆に誤りを叩きつけるくらいでお願いします. 証明(文字バージョン)証明:矛盾の例として,シュレーディンガーの猫を用いてみましょう. 猫は死んでいるし,生きています. これを矛盾とします. これを用いて,以下の状況を考えてみましょう.

    • 2色ライフゲーム=3状態セル・オートマトンのチューリング完全性

      ★経緯と用語紹介Q.機械について調べてたらチューリングマシンとライフゲームにたどり着きました.こんな単純なもので計算ができるとか面白いですよね. A.はい. Q.なぜ単なる四角たちが計算できてるんですか? A.チューリング完全だからです. Q.何それ? A.大半の計算ができる機械の条件です. 計算機械を定義するチャーチ・チューリングのテーゼという"仮定"(証明なし)から, チューリング完全=大半の計算ができる =大半の計算ができるチューリングマシンを作れる(模倣でき

    • 矛盾から導く,あなたが天才であることの証明

    • 2色ライフゲーム=3状態セル・オートマトンのチューリング完全性