25/10/09 15:44:53.90 Pn+A6+Vs.net
数学のモデルは唯一であるべきで
公理系はその唯一のモデルを定めるべきものだ
という考えは、カルト的な●違いのもの
998:１３２人目の素数さん
25/10/09 15:46:30.74 Pn+A6+Vs.net
巨大基数の公理を設定することで、
決定可能な命題の範囲が広がる可能性はもちろんあるが
それは「巨大基数の公理によって、あるべき数学の唯一のモデルを定める」
とかいうことではない
999:１３２人目の素数さん
25/10/09 15:51:40.92 6VsL0MrP.net
率直に申し上げて
先祖が広島の廿日市から神戸に移住した世田某
は高卒レベルの数学しか分かってない
チョウで言うと幼虫
大学の学部というのは
幼虫から成虫になるための蛹の段階
いったんドロドロに溶けた上で再構築する必要がある
幼虫のまま成虫にはなれない
1000:１３２人目の素数さん
25/10/09 15:56:00.66 xXL1cxsS.net
蛹の形態
URLﾘﾝｸ(ja.wikipedia.org)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
蛹は成虫の大まかな外部形態だけが形成された鋳型である。
その内部では一部の神経、呼吸器系以外の組織はドロドロに溶解しているという説が一般に信じられているが、それは誤解である。
消化管はちゃんと形を保ったまま成長するし、一見ドロドロに見える部分も実際は組織的な構造を形成している。
蛹が震動などのショックで容易に死亡するのは、事実である。
幼虫から成虫に劇的に姿を変えるメカニズムは、CTスキャンで観察できるものの、未だに完全には解明されていない。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
そういう意味でいうと、大学でも別に完全にドロドロになってるわけではないのだが
数学の幼虫的理解から成虫的理解への変化というのも、完全には解明されてない（笑）
1001:１３２人目の素数さん
25/10/09 16:01:32.39 750NvH47.net
数学科というのはチョウである
別に見た目でいってるのではなく
劇的変化が必要という意味
工学部とかいうのはセミとかバッタとかトンボみたいなもんである
要するにそんなに劇的変化がなくてもどうにかなっちゃうという意味
1002:１３２人目の素数さん
25/10/09 16:19:23.44 U4fD8YKG.net
>>974
仮にZF-Infinityから無限集合の非存在を帰結できるとしたらZFが矛盾していることになりますよ。無限集合の非存在とその否定の両方を帰結できますから。
1003:１３２人目の素数さん
25/10/09 16:59:26.48 6VsL0MrP.net
いわゆる直線の点の全体が実数全体ではなく超現実数全体であってはいかん理由はない
まあ、無限列の項の添数を自然数全体から順序数全体に拡大する必要があるけど（笑）
URLﾘﾝｸ(ja.wikipedia.org)
1004:１３２人目の素数さん
25/10/09 17:04:45.44 6VsL0MrP.net
もし、無限公理を否定する公理を追加した集合論を考えた場合
・自然数の全体は順序数の全体だから真のクラス
・各実数も真のクラスと考えることが可能
ただ、実数の集まりを考えた場合、もはやクラスではなく
その集まりであるコングロメレイトを考える必要が・・・
1005:１３２人目の素数さん
25/10/09 17:07:40.47 6VsL0MrP.net
誤 コングロメレイト
正 コングロマリット
また発音を間違った（笑）
1006:現代数学の系譜 雑談
25/10/09 17:15:19.30 KF0VNvBU.net
>>987
(引用開始)
無限公理なしの公理系と
無限公理ありの公理系と
無限公理を否定する公理ありの公理系と
三つ可能
(引用終り)
ふっふ、ほっほ
神の存在公理なしの公理系と
神の存在公理ありの公理系と
神の存在公理を否定する公理ありの公理系と
三つ可能
だな
では、人間界に当てはめると
マルクスは、宗教は麻薬だと 神を否定した
キリスト教など 宗教界では 神の存在公理ありの公理系
無宗教の人は 神の存在公理なしの公理系 だろうね ；ｐ）
1007:１３２人目の素数さん
25/10/09 17:37:20.01 U4fD8YKG.net
>>991
>無限公理なしの公理系と
と
>無限公理を否定する公理ありの公理系と
は異なること、理解できた？ ようやく初歩の初歩の初歩に達しましたね
1008:１３２人目の素数さん
25/10/09 18:29:52.13 Fhh9Ou/U.net
>>991
＞無宗教の人は 神の存在公理なしの公理系 だろうね
無宗教は神の存在を否定してはいない 肯定しないだけ
無神論は神の存在を否定している
1009:１３２人目の素数さん
25/10/09 19:26:13.75 Ho4bp/tz.net
こういう話する時は身の回りの何かに例えたくなるものだけど、それがやめた方がいい事に気づけるかどうかぎ理系の世界にこれるかコレないかの差やな
セタには無理っぽいな
1010:現代数学の系譜 雑談
25/10/09 21:21:39.30 BjCYmcAl.net
>>994
その議論は、新スレでやろう
1011:１３２人目の素数さん
25/10/10 06:03:18.43 LUMhNgm4.net
この秋は何で年取る
1012:１３２人目の素数さん
25/10/10 06:44:57.19 tBy9csMW.net
）
（
,, ） ）
ﾞﾐ;;;;;,_ （
ミ;;;;;;;;､;:..,,.,,,,,
i;i;i;i; '',',;^′..ヽ
ﾞゞy､､;:..､） ｝
.¨.､,_,,､_,,r_,ノ′
/;:;":;.:;";i; '',',;;;_~;;;′.ヽ
ﾞ{y､､;:...:,:.:.､;:..:,:.:. ._ ､｝
".¨ｰ=v ''‐ .:v､,,､_,r_,ノ′
/;i;i; '',',;;;_~⌒¨;;;;;;;;ヾ.ﾐﾞ´ﾞ^′..ヽ
ﾞ{y､､;:...:,:.:.､;､;:.:,:.:. ._ .､） ､｝
".¨ｰ=v ''‐ .:v､冫_._ .､,_,,､_,,r_,ノ′
/i;i; '',',;;;_~υ⌒¨;;;;;;;;ヾ.ﾐﾞ´ﾞ^′.ｿ.ヽ
ﾞ{y､､;:..ゞ.:,:.:.､;:.ﾐ.:,:.:. ._υﾟo,,'.､） ､｝
ヾ,,..;::;;;::,;,::;):;:;:; .:v､冫_._ .､,_,,､_,,r_,ノ′
1013:１３２人目の素数さん
25/10/10 06:45:04.80 tBy9csMW.net
）
（
,, ） ）
ﾞﾐ;;;;;,_ （
ミ;;;;;;;;､;:..,,.,,,,,
i;i;i;i; '',',;^′..ヽ
ﾞゞy､､;:..､） ｝
.¨.､,_,,､_,,r_,ノ′
/;:;":;.:;";i; '',',;;;_~;;;′.ヽ
ﾞ{y､､;:...:,:.:.､;:..:,:.:. ._ ､｝
".¨ｰ=v ''‐ .:v､,,､_,r_,ノ′
/;i;i; '',',;;;_~⌒¨;;;;;;;;ヾ.ﾐﾞ´ﾞ^′..ヽ
ﾞ{y､､;:...:,:.:.､;､;:.:,:.:. ._ .､） ､｝
".¨ｰ=v ''‐ .:v､冫_._ .､,_,,､_,,r_,ノ′
/i;i; '',',;;;_~υ⌒¨;;;;;;;;ヾ.ﾐﾞ´ﾞ^′.ｿ.ヽ
ﾞ{y､､;:..ゞ.:,:.:.､;:.ﾐ.:,:.:. ._υﾟo,,'.､） ､｝
ヾ,,..;::;;;::,;,::;):;:;:; .:v､冫_._ .､,_,,､_,,r_,ノ′
1014:１３２人目の素数さん
25/10/10 06:45:23.37 tBy9csMW.net
）
（
,, ） ）
ﾞﾐ;;;;;,_ （
ミ;;;;;;;;､;:..,,.,,,,,
i;i;i;i; '',',;^′..ヽ
ﾞゞy､､;:..､） ｝
.¨.､,_,,､_,,r_,ノ′
/;:;":;.:;";i; '',',;;;_~;;;′.ヽ
ﾞ{y､､;:...:,:.:.､;:..:,:.:. ._ ､｝
".¨ｰ=v ''‐ .:v､,,､_,r_,ノ′
/;i;i; '',',;;;_~⌒¨;;;;;;;;ヾ.ﾐﾞ´ﾞ^′..ヽ
ﾞ{y､､;:...:,:.:.､;､;:.:,:.:. ._ .､） ､｝
".¨ｰ=v ''‐ .:v､冫_._ .､,_,,､_,,r_,ノ′
/i;i; '',',;;;_~υ⌒¨;;;;;;;;ヾ.ﾐﾞ´ﾞ^′.ｿ.ヽ
ﾞ{y､､;:..ゞ.:,:.:.､;:.ﾐ.:,:.:. ._υﾟo,,'.､） ､｝
ヾ,,..;::;;;::,;,::;):;:;:; .:v､冫_._ .､,_,,､_,,r_,ノ′
1015:１３２人目の素数さん
25/10/10 06:45:33.64 tBy9csMW.net
）
（
,, ） ）
ﾞﾐ;;;;;,_ （
ミ;;;;;;;;､;:..,,.,,,,,
i;i;i;i; '',',;^′..ヽ
ﾞゞy､､;:..､） ｝
.¨.､,_,,､_,,r_,ノ′
/;:;":;.:;";i; '',',;;;_~;;;′.ヽ
ﾞ{y､､;:...:,:.:.､;:..:,:.:. ._ ､｝
".¨ｰ=v ''‐ .:v､,,､_,r_,ノ′
/;i;i; '',',;;;_~⌒¨;;;;;;;;ヾ.ﾐﾞ´ﾞ^′..ヽ
ﾞ{y､､;:...:,:.:.､;､;:.:,:.:. ._ .､） ､｝
".¨ｰ=v ''‐ .:v､冫_._ .､,_,,､_,,r_,ノ′
/i;i; '',',;;;_~υ⌒¨;;;;;;;;ヾ.ﾐﾞ´ﾞ^′.ｿ.ヽ
ﾞ{y､､;:..ゞ.:,:.:.､;:.ﾐ.:,:.:. ._υﾟo,,'.､） ､｝
ヾ,,..;::;;;::,;,::;):;:;:; .:v､冫_._ .､,_,,､_,,r_,ノ′
1016:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 28日 20時間 15分 24秒
1017:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています