25/01/11 00:52:13.55 AlcShdq6.net
たしかに、数学は抽象的な性質の間の関係を記述する。たとえば「Xはコンパクトな多様体」といえば、Xが具体的に何であるかは問題にならない。それはたしかに数学の強力さのひとつだ。
しかし、いかに論理が正しくても、具体的な空間や関数などの対象がなければ、数学は何も生み出さない。喩えるなら、バグの無いソースコードを書いても、入力を与えなければ、プログラムが動き出さないのと同じだ。
2:１３２人目の素数さん
25/01/11 01:12:31.85 vJJzslEv.net
でもよぉ……畢竟、公理的集合論まで遡らなきゃ、なにを考えても「具体的な対象」にはならないじゃないか？？
3:１３２人目の素数さん
25/01/11 02:03:44.23 eyJ4/9F3.net
そもそも何で、ZFC公理まで遡らなくても、計算とかできるの？
4:１３２人目の素数さん
25/01/11 09:08:28.31 3cL/oCbQ.net
働けウンコ製造機
5:１３２人目の素数さん
25/01/11 09:46:25.34 3cL/oCbQ.net
キャー変態
6:１３２人目の素数さん
25/01/12 01:59:53.15 Qjzv428w.net
数学で考えたい対象すべてを矛盾なく論じようと思ったら、公理的集合論や数理論理学が必要なのだろうが、それらが無くてもさしあたり数や関数などは構成はできる
7:１３２人目の素数さん
25/01/12 08:30:12.34 BGKU0JbP.net
すべてを矛盾なく論じることができると証明するのは無理
8:１３２人目の素数さん
25/01/12 12:14:38.37 Ops8P+jy.net
そうですね
9:１３２人目の素数さん
25/02/10 03:14:35.85 xsE4fYth.net
なぜ生物学や医学を学ばなくても、呼吸が出来たり、心臓が動いているのだろうか、と考えて見たことはないかな。
あるいは幼児が文法を学んでいなくても、言葉がだいたい話せたり聞けるのはなぜだろうかと。
10:１３２人目の素数さん
25/02/10 07:09:21.60 91wxmWNw.net
元気の素は何だろう
11:１３２人目の素数さん
25/02/25 00:20:57.13 AEMEsyC6.net
文字や記号を使っては表せない、記述が出来ないような真理の世界が存在するとしたら、
それは言葉で説明したり、証明されるようなものではないから、
そのような手段では到達し得ない存在となる。
12:poem
25/05/12 09:27:24.65 S6cdSRrg.net
飛び級目指すは実態のないことしてる
(免許)相当すれば認めるは罠(絵餅)
ｽﾚﾘﾝｸ(math板:150番)-155/
13:poem
25/05/19 11:28:45.20 nDXai7A8.net
習得しなくても研究できるようにならなくても
ｽﾚﾘﾝｸ(occult板:319番)-321/