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

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

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

---

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

---

326: デフォルトの名無しさん [sage] 2024/04/15(月) 19:51:54.10 ID:eajKaNbV (仮定、前提、公理として)存在しているものから(公理的)集合論操作で構成したものは存在する、 これは自明の理として存在証明のOKパターンな事だけ補足しておくよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/326

327: デフォルトの名無しさん [sage] 2024/04/15(月) 20:01:42.17 ID:eajKaNbV >>301 >例えば実数は体、順序構造、連続性をもつものとして定義する これは数論とか超準解析とか特定の用途でご都合定義や対比で採用(完備(非)アルキメデス順序体)する位で well definedかどうかの議論は本来は必要だし>>302のツッコミが入るのは当然 http://mevius.5ch.net/test/read.cgi/tech/1710585705/327

328: デフォルトの名無しさん [sage] 2024/04/15(月) 20:04:25.08 ID:eajKaNbV >>320 >存在論 そう言うのが寄り付かないのが現代数学の良い所の1つかも http://mevius.5ch.net/test/read.cgi/tech/1710585705/328

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.036s