24/10/16 16:28:19.89 KxXWBUwh.net
選択公理教
2:１３２人目の素数さん
24/10/16 16:52:00.02 sS+peTlW.net
はたらけ
3:１３２人目の素数さん
24/10/16 16:52:15.30 sS+peTlW.net
はろーわーく
4:１３２人目の素数さん
24/10/16 16:52:29.88 sS+peTlW.net
おちこぼれ
5:１３２人目の素数さん
24/10/16 17:01:30.33 sS+peTlW.net
数学より明らかに世界史の方が大変だよな
ｽﾚﾘﾝｸ(math板)
6:１３２人目の素数さん
24/10/16 17:01:44.31 sS+peTlW.net
線形代数＝丸尾くんだよな？
ｽﾚﾘﾝｸ(math板)
7:１３２人目の素数さん
24/10/16 17:01:56.20 sS+peTlW.net
関数解析「解析学です」←線形代数学だよな？
ｽﾚﾘﾝｸ(math板)
8:１３２人目の素数さん
24/10/16 17:02:07.93 sS+peTlW.net
働いたら負けだよな
ｽﾚﾘﾝｸ(math板)
9:１３２人目の素数さん
24/10/16 17:02:19.18 sS+peTlW.net
数学は「分かるから分かる」んだよな・・・
ｽﾚﾘﾝｸ(math板)
10:１３２人目の素数さん
24/10/16 17:02:37.06 sS+peTlW.net
数学って簡単だよな 考えるだけで点取れる
ｽﾚﾘﾝｸ(math板)
11:１３２人目の素数さん
24/10/16 17:02:55.34 sS+peTlW.net
数学ってあまりにも簡単だよな
ｽﾚﾘﾝｸ(math板)
12:１３２人目の素数さん
24/10/17 06:19:14.33 uFThv8+2.net
ありとあらゆる公理系は”宗教”だよな
公理を無条件に前提している点で
＃だからどうだとはいってない
13:１３２人目の素数さん
24/10/19 12:11:57.53 NmU9taco.net
test
14:１３２人目の素数さん
24/10/22 12:00:39.88 sHVpsGKJ.net
小さい数ｎを指定したとき、公理が全部でｎ個の数学で
興味深いものがどれだけあるのだろうか？
公理を一つも持たない数学があればそれは空数学。
A1とA2とA3という公理の命題があったとして、
「A1かつA2かつA3である」という命題を1つだけ
公理として掲げた公理が1つだけの数学を考えてよいなら、
有限個の公理をおく体系は所詮1つの公理だけの体系に
帰着できるのではないか？
公理が可算無限個ある場合にも同じようにできないか？
15:１３２人目の素数さん
24/10/23 09:49:07.70 Jc02yVKv.net
>>14
公理の個数には意味がない
有限個の場合、おっしゃる通り＆で結べば1個に出来る
無限個の場合、公理スキームという形で表現している
これは任意の論理式をあてはめられる箇所が入ったスキームで書き表すという意味
当然ながらそれも＆で結ばれるのだが、さすがに有限個ではないので直接式として書き表せない
16:１３２人目の素数さん
24/10/29 05:40:43.70 RVgkz1sL.net
公理が可算無限ならば良いが、非可算無限だったら、公理のすべてを把握することが普通に考えればできなくなるが、
最初の方の公理として、そのことが可能である、という公理を設けておけば、それでもって論理的には良いのかな？？？
17:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています