[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)

「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

209: デフォルトの名無しさん [] 2024/04/03(水) 07:24:46.19 ID:CW5lmJ5l >>208 だから、>1への回答をお願いします。 その不完全性定理とか流し読みだからうろ覚えだけど、 ある数学モデルの無矛盾性をその数学モデルは証明できないとか？だっけ？ 数学そのものの不完全さを証明したもので、「「数学」をプログラミングする」の 証明ではない気がするんだけど…。 物理的な不可能の証明として無限や連続性を上げるのは妥当だと思うのだが、 あなたは違うと言う。 なら、あなたは私の代わりに証明する義務があるのでは？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/209

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.042s