数学は決定論だから非決定論的世界を記述できない
2１３２人目の素数さん
2024/09/17(火) 22:02:46.13ID:dDOwUrlR 数学を拡張した場合、カリーハワード対応における、型理論側の対応物はどうなる？
レスを投稿する
ニュース
- 【速報】ザカリア米大統領報道官が退任 [蚤の市★]
- 破産者も生むアメリカの医療費 救急外来1回19万円「幸せを制限」 [蚤の市★]
- 【速報】高市首相、靖国神社の秋季例大祭に真榊奉納 [蚤の市★]
- 【竹中平蔵】「金銭解雇ルールを作れ」 「全然仕事できないのにクビにできない」正社員に持論 ★4 [煮卵★]
- 【野球】セ･リーグCS第3戦 T 0-4 DB [10/16] DeNA3連勝日本シリーズ王手 佐野3ラン、片山7回無失点 阪神3試合連続完封負け ★2 [鉄チーズ烏★]
- 【速報】首相、夜はスマホ最大音量で横に 「危機管理に注力」とアピール [少考さん★]
- カンニング竹山「サイゼリヤのたった20円値上げで高いとか言ってる人。そんな奴はどこの店でも食べられない」 [525250582]
- ベトナム人、春日井市の山林で鹿を狩って解体し大宴会 高市サン😭 [399259198]
- 柏市長太田和美🏡
- 【📦】Amazon、ガチ金賞確定な「マンガ毎週末セール（50%還元）」開催中！！！
- 【悲報】巨人ファン「なんで佐藤輝の外れに牧でなく平内なんかを指名した」と当時の編成が炎上中
- VIPでアズールレーン