26/05/02 09:45:12.82 ZQVChVf0.net
>>47
そもそも基礎論で基礎づけされなければ数学は宗教でしかない。例えば証明ひとつ取っても、どんな要件を満たしていれば証明足りえるのかの答えは基礎論が持っている。
そればかりか数学の重要な事実が基礎論からもたらされることもある。
自分が分らないからといって基礎論を下に見るのはバカのやること。
56:１３２人目の素数さん
26/05/02 10:53:27.96 QRRMrj9n.net
分野で優劣をつけてほしくないな。
この順番でないと学べないというのは分かるけど。
57:１３２人目の素数さん
26/05/02 11:47:37.78 6wa/kLak.net
基礎論とは名前だけ、数学とは関係ない
58:１３２人目の素数さん
26/05/02 12:06:55.79 ZQVChVf0.net
と、妄想する池沼
59:１３２人目の素数さん
26/05/05 05:59:53.11 kcfPwpMU.net
基礎論は数学に余計な制限を課すから無用の長物
60:１３２人目の素数さん
26/05/05 07:50:17.76 uIcSI7TD.net
と、妄想する池沼
61:１３２人目の素数さん
26/05/05 08:29:58.28 kcfPwpMU.net
>>55
宗教だから問題ないね
62:１３２人目の素数さん
26/05/05 10:13:59.30 uIcSI7TD.net
どんな宗教も自己矛盾を抱えている
数学理論が自己矛盾したら終わり、何でも証明できちゃうから
63:１３２人目の素数さん
26/05/05 10:21:28.91 kcfPwpMU.net
矛盾のない唯一の宗教
64:１３２人目の素数さん
26/05/05 10:29:41.72 MfqRqbIV.net
無矛盾かどうか分からないｗ
65:１３２人目の素数さん
26/05/05 10:42:54.32 uIcSI7TD.net
絶対の無矛盾は存在しない、すべて相対的
66:１３２人目の素数さん
26/05/05 10:49:04.89 uIcSI7TD.net
これも基礎論の成果
67:１３２人目の素数さん
26/05/05 12:19:30.84 kcfPwpMU.net
>>64
宗教だからいいんですよ
68:１３２人目の素数さん
26/05/05 13:29:24.56 U7pTFKeL.net
基礎論も純粋数学も
統計科学的な手法に今追い込まれてる
69:１３２人目の素数さん
26/05/05 15:55:55.50 uIcSI7TD.net
AIと言わずに統計科学的な手法と言うのが姑息
70:１３２人目の素数さん
26/05/05 17:43:45.72 wWvGyIGh.net
統計科学的応用数理的以外の何物でもないだろ
AI.。
71:１３２人目の素数さん
26/05/05 17:50:50.85 uIcSI7TD.net
話が通じない
72:１３２人目の素数さん
26/05/05 20:32:06.99 uIcSI7TD.net
>>59
余計な制限とは例えばどんな？
73:１３２人目の素数さん
26/06/15 17:30:43.32 3lxe8nT4.net
一休：
そのようなｘを取り出してきて下さい。
そうすれば私がそのｘについて議論を続けます。
74:１３２人目の素数さん
26/06/25 10:32:19.11 hD90ahZn.net
>>64
一階理論のモデルが存在するなら無矛盾
75:１３２人目の素数さん
26/06/25 12:04:34.23 6a+HKuxZ.net
選択公理の話がしたいのか？