TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
現代数学の系譜11 ガロア理論を読む26
プラスマイナスゼロ
数学 難易度総合ランキング（偏差値）
Inter-universal geometry と ABC予想 29
【数学者】大類昌俊【総合】 Part4
【万年】黒木玄を語ろう【助教】 その2
0.999...は1じゃないことを数学的に厳密に証明したったｗｗｗｗ パゲェヤァああｗｗ
統計学Part17
ｗｗｗｗｗ小説を読むスレｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
秋山仁
- 26 ：
- 上の方で全ての論理体系を一つの体系に統一することができると書いたが、
その際、各モジュールは矛盾許容的に張りあわされているから爆発律は局所に制限される
つまり、従来の論理体系では体系に一つ矛盾が生じたら全体が自明化するから
古典力学の矛盾が相対性理論を自明化したりして、理論の統一には向いてない
でも、俺のヒント通りに構築すれば古典力学の矛盾はせいぜい古典力学内部で爆発を起こすだけで
外の理論には影響を及ばさない
だから多数の理論を一つの体系に安全に共存させることができる
哲学的に無関係な理論AとBがあったときにAの矛盾がBを自明化するのっておかしいだろ？
日常言語の論理学は実際に矛盾を含むわけだし
だから矛盾許容的に貼り合わせるやるわけよ
- 27 ：
- 知識をモジュール化してつなぎ合わせるというのは、人間の実際の思考方法と同じもので、汎用人工知能にもつながる
例えば、物理学が分かるAIと数学が分かるAIを合成して物理学と数学の両方が分かるAIを作れる
- 28 ：
- このプログラムを実行できれば、数学基礎論というヒルベルトやゲーデルの時代以降本質的な前進がなく
現在ただの税金泥棒になっている分野に終止符を打つことができる
「数学の無矛盾性の証明」と「全論理体系の統一」
若いやつは挑戦してみてくれ
俺には時間がない
現代数学の系譜 工学物理雑談 古典ガロア理論も読む49
RIMS京都大学数理解析研究所
【地底】大阪・東北・名古屋・九州大学スレッド
現代数学の系譜 工学物理雑談 古典ガロア理論も読む64
まだ中学生だけど大学の数学科に行きたい
【大学院へ】 30過ぎて、数学の道へ 【挑戦】 第5章
経済学は数学を誤用している
０は自然数か？
数学者 VS 東ロボ（ロボットは東大に入れるか）
【1教科】山口大学理学部数理科学科【偏差値52.5】
--------------------
【過去】メタルヒーローを知らない長崎県民
FlyTeam★4
第２次世界大戦の戦闘機のRC持ってる人集まれ
銀河中心超巨大ブラックホールの重量から銀河年齢を計算
パソコン買ったら入れとくべきフリーソフト
おまえら、ちょっとおちつけｗｗｗｗｗｗｗｗｗｗｗ
【ジコチューで行こう！】乃木坂46★8358【本スレ】
糞なヲタのせいで嫌いになった鉄道会社・路線
ｱｿﾊﾟｿﾏｿｽﾚｯﾄﾞ 〜優雅な独身ﾊﾟｿ貴族〜
【市川学園】市川中学校・市川高等学校【Part11】
日本の首都は富士に移転しよう！
【名門】【明治大学水泳部【脱線】
🐙😡荒ぶる社畜のﾏｧどもよ😭👤 [466215677]
【バーチャル】hololiveアンチスレ#3686【youtuber】
Inter-universal geometry と ABC予想 41
「君が代」をオリコン１位にしようぜ！！！
【誰か】私に霊視能力はあるのか【質問して】68
ぱちスロAKB48 推しメンLv.48【記念すべき48スレ目】
【ベストを尽くして】3422服部幸男38【デビュー30周年】
【FF11】フォーラムのキ○ガイを晒すスレ 198
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
