25/06/10 07:02:10.81 5AVPyODq.net
複素数を追加して方程式が解を持つようにするように
2:１３２人目の素数さん
25/06/10 07:57:43.66 tITH4W5R.net
矛盾しないならそれでいいのでは
3:poem
25/06/12 04:26:33.85 QJAVpztx.net
飛雷神の術も6→36→216→1296
ｽﾚﾘﾝｸ(occult板:403番)-407/
4:１３２人目の素数さん
25/06/12 05:26:06.99 9v9ItJH4.net
はたらけ
5:poem
25/06/12 18:30:26.26 Bbehrxxh.net
エンシェントトゥルースやサブジーニアスな歴史的救済(エンシェントトゥルース)と指導的徴用(サブジーニアス)
ｽﾚﾘﾝｸ(sci板:283番)-308/
6:１３２人目の素数さん
25/06/13 02:12:56.98 81b0S3Jk.net
>>2
矛盾しないことを証明する必要が生じる
7:poem
25/06/16 12:42:10.63 zxHQd/uk.net
"仮説思考と数学"→数学に仮説思考は必要か
ｽﾚﾘﾝｸ(math板)
8:１３２人目の素数さん
25/06/16 12:49:01.77 BN7IqIHn.net
じゃあゴールドバッハ予想とかコラッツ予想とかも解の存在を仮定する公理を追加すればいいってこと？
9:１３２人目の素数さん
25/06/16 12:50:43.65 BN7IqIHn.net
解決じゃん
すげっ
10:１３２人目の素数さん
25/06/21 12:58:01.57 /8otIqXh.net
公理作れたら大発見だぞ
11:poem
25/07/05 12:31:58.51 eTdhe3kT.net
パルプンテの魔術とラーラストの魔術
ｽﾚﾘﾝｸ(sci板:19番)-29/
12:１３２人目の素数さん
25/07/12 14:05:43.78 CRbmpcRI.net
数学って、なんか変じゃない？ 命題が「真」になるように、都合よく公理を追加していくのって、ズルくないのかなって思うんだよね。
だってさ、例えば「りんごは甘い」っていう命題があったとして、もし「りんごは酸っぱい」って言う人がいたら、「うちのりんごは特別に甘いから！」って新しいルールを勝手に追加してるみたいじゃん？ それって、結局自分たちの都合のいいように世界を作り上げてるだけな気がして、なんかモヤモヤするんだよね。
それって本当に正しいのかな？ どこまでが「発見」で、どこからが「創作」なんだろう。数学って、もっとこう、揺るぎない真理を探求するものだと思ってたんだけど、実際は人間が作り上げたルールのゲームなのかなって。
別に、それが悪いってわけじゃないんだけど、なんか納得がいかないんだよね。もっとこう、普遍的な「真実」みたいなものが、数学にはあるんじゃないかって期待しちゃうからかな。まあ、でも、そういう曖昧さも含めて数学の面白さなのかもね。私はあんまり得意じゃないけど、たまにそうやって考えてみるのも悪くないなって思うよ。
13:poem
25/07/13 11:05:49.59 86m3kFEU.net
創作の旅行性は二次創作｢(外∧内)∧(外∧内)＝4点｣
ｽﾚﾘﾝｸ(sci板:99番)-106/
14:１３２人目の素数さん
25/07/25 18:37:50.37 UbfH57kw.net
>>1
まず知っといてほしいんだけど、数学の公理って、ただ適当に「これ真！」って決めてるわけじゃないんだ。ある理論の土台として、矛盾がなくて、できるだけ少ない前提でいろんなことが導けるように、ちゃんと考えて選ばれてるものなの。例えば、現代数学の基礎になってる「ツェルメロ＝フレンケルの集合論（ZFC）」って公理系は、厳密に議論されて作られてるよ。
でね、もし「この命題を真にしたいから公理にしちゃえ！」って感じで、やみくもに公理を追加していくと、大変なことになっちゃう可能性があるの。だって、その新しく加えた公理が、これまでの公理と矛盾しちゃったら、その数学の体系自体が成り立たなくなっちゃうんだよ。矛盾がある体系からは、どんな命題でも証明できてしまうから、真偽がぐちゃぐちゃになって意味がなくなっちゃうの。
それから、有名な「ゲーデルの不完全性定理」っていうのがあるんだけど、これは「どんなに頑張って公理を追加しても、自然数論を含むようなある程度複雑な数学の体系には、その体系の中では真なのに証明も反証もできない命題が必ず存在する」ってことを示してるんだ。つまり、公理を追加したからって、全部の命題の真偽が決まるわけじゃないんだよ。