- 1 名前：１３２人目の素数さん [2017/10/15(日) 00:03:24.11 ID:LdrV+CtU.net]
- さあ、今日も１日頑張ろう★☆
前スレ
分からない問題はここに書いてね434 [無断転載禁止]©2ch.net
rio2016.2ch.net/test/read.cgi/math/1505261063/
- 321 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:34:05.06 ID:7SwMb7a1.net]
- >>310
私は東大ですが、数理論理なんてやりませんでしたね
大事ならやるはずなのでは？
- 322 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:35:22.39 ID:seKspecq.net]
- >>312
東大なのに数理論理すら知らないんですね(笑)
論理の意味すら知らずに、ひたすら数式いじりしかしてなかったわけです
- 323 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:39:13.83 ID:7SwMb7a1.net]
- >>313
その通りですが、研究に際しては何も困ったことはありませんよｗ
本当に大事なのですか？
- 324 名前：１３２人目の素数さん [2017/10/22(日) 01:39:26.86 ID:FBhS88Mi.net]
- 私が此の議論の根源であるので話を戻すが、当初の質問は虚数の実社会に存在するか否かだ
私は虚数は存在する派だ
寧ろ人の見えてる世界なんて全貌のほんのほんの一部だと考えている
因みに江藤淳は其れを「ことばの彼方」と呼んでいる
- 325 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:41:20.41 ID:L44xJ5uK.net]
- 尋常じゃないくらい頭が悪いのですが、東京大学理学部数学科に入りたいです
- 326 名前：。
猛烈に勉強しても無理でしょうか？ [] - [ここ壊れてます]
- 327 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:42:58.77 ID:seKspecq.net]
- >>314
なんの研究ですか？
>>315
あなたのいった存在の意味とは異なりますね
あなたは、数学において「存在」するかどうか、ということを問題としていたはずですよ
そして「存在」とは、メタレベルにおいてでしか導入することができないものである、だったはずです
実社会に『存在』するか否か、では、明らかに任意の数学的対象は『存在』しませんし、原理的に『存在』できません
数学的対象とは概念であり、実社会に見いだすことができるのは、その数学的対象と、実社会における物との対応だけなのです
- 328 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:44:14.48 ID:2eKNWJaL.net]
- 複素平面の方が実際はゲージ重力対応みたいに現実のもととなってる実在な可能性のほうが高いと思うけどね。
平たく言えば数学コンプレックスの顕現に過ぎない基礎論虫の素論無視の疎論の穴探しよりバグ探しの方が社会的に重要に決まりきってるわな。
- 329 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:44:49.33 ID:seKspecq.net]
- >>316
>>314さんに尋ねてみると良いでしょう
>>314さんはニートの私よりも低レベルですが、東大受かってるらしいですからね
- 330 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:46:48.98 ID:7SwMb7a1.net]
- >>317
例えば理論物理って言ったらどうなりますか？
数学って言ったら？
大学で学ばれることの少ない数理論理が大事であることを示してください
- 331 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:48:26.05 ID:seKspecq.net]
- >>320
物理屋さんってやつですか
なら、やらないのも当然ですね
物理の人にとって数学は道具ですから
道具の仕組みにまで考えることなどないのでしょうね
使えればいい、というわけです
- 332 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:49:55.91 ID:7SwMb7a1.net]
- >>319
ニート羨ましいです
僕も不労所得ほしい
>>321
で、数理論理が大事であることは示してくださらないのですか？
示せないのですか？
- 333 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:52:00.75 ID:seKspecq.net]
- >>322
あなたの無視している数学の基本的な原理を支えているのが、数理論理なのです
論理の出発点ですから、これがわからなければ、何もわかっていないのと同じですよ？
- 334 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:54:27.91 ID:2eKNWJaL.net]
- 東大卒なんて学閥で利益やポスト囲い込んでる癖に責任逃れだけは並みの私学体育会系じゃ追いつかないほどフルダッシュの社会病理そのものだろ
病巣は外科手術的に切り出して捨てなきゃ。
病気腎移植気分であちこちに埋め込まれてはガンが転移するようなもんだ。
- 335 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:54:51.62 ID:7SwMb7a1.net]
- >>323
例えばどういった原理をどのように支えているのですか？
それと先程から無視されているようですが、大事なのに何故学ぶ機会が少ないのでしょうか？
- 336 名前：１３２人目の素数さん [2017/10/22(日) 01:55:48.27 ID:FBhS88Mi.net]
- >>317
寝呆けていたのか知らないが実社会と数学界を書き間違えたという惨憺
- 337 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:57:22.82 ID:sQMCEvaQ.net]
- https://i.imgur.com/HBVFvUX.jpg
解法求む
- 338 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:58:01.47 ID:2eKNWJaL.net]
- 素朴集合論で割り切って同値関係や準同型射やイデアルや商集合なんかを理解してるほうが数学科学部卒の前提知識数理的素養としてふさわしい。
- 339 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:58:09.02 ID:ucC0W3rz.net]
- >>315
そういった素朴な意味での「現実に存在する」かどうかなら他人と議論する意味はないのでは
質問というより賛否を確認してるだけ
- 340 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 01:59:30.16 ID:2eKNWJaL.net]
- >>326
残念なのはこいつらの仕様です。
- 341 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:01:33.73 ID:seKspecq.net]
- >>325
たとえば、ある前提Aを使って結論Bを導くことができた時、命題A→Bは真である、といいますよね
これはなぜだか説明できますか？
>>328
準同型は別として
=
倍数
倍数の集合
こんな小学生でもわかる話の一般化をありがたがってるようじゃーだめですねぇ
- 342 名前：１３２人目の素数さん [2017/10/22(日) 02:03:36.97 ID:FBhS88Mi.net]
- >>318
ゲージ重力対応とは何の様な理論だろうか？ []- [ここ壊れてます]
- 344 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:04:23.63 ID:7SwMb7a1.net]
- >>331
「何故」の意味が分かりませんので、貴方に肖り「メタレベル話だね」と言っておきましょう
何故大事であるはずの数理論理を学ぶ機会が少ないのでしょうか？
- 345 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:05:14.76 ID:ucC0W3rz.net]
- >>331
それを説明するのは無理だ
形式的体系で説明できるのは飽くまでも形式化された後のルールに則ったことだけ
推論規則なんかを持ち出して説明しても無意味
形式化によって問題の在り処をどこまでも遡れるわけではない
- 346 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:06:30.35 ID:seKspecq.net]
- >>333
結局はそうですが、不思議だと思いませんか？
AからBを導けること、A→Bが真であること
これらは等しいのです
このモヤモヤを解決することができるのが、数理論理なのです
物理の人は頭が悪いから、数理論理という高尚な学問に触れさせてはくれないんです
>>334
知ってます
- 347 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:07:23.89 ID:ucC0W3rz.net]
- >>335
本当か？
先日も見ていたが、貴方の言ってることも所々怪しいぞ
- 348 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:07:45.56 ID:2eKNWJaL.net]
- >>332
一般ストークスの定理とかホッジ双対性とかのバルクエッジ対応の仲間だよ。
コンプレックス平面の中の袋のネズミにしてフルボッコにしちゃえば一滴も血も血税も流さず済ませられる流通経済大学。
- 349 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:08:42.83 ID:seKspecq.net]
- >>336
A|-B
|-A→B
これをメタに認めれば自明です
|-と→の区別があることがわかれば、スッキリするわけです
- 350 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:11:08.51 ID:2eKNWJaL.net]
- >>328
ここから自然に（コ）ホモロジー代数や自然写像性や圏論や普遍代数へと移り変わって基礎論にたどり着くならともかく基本群も知らないやつが数学基礎論を数学の基本だとか寝言言うのは賛同しかねる。
- 351 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:11:22.41 ID:7SwMb7a1.net]
- >>335
そのモヤモヤを解決してもなんの役にも立たないのですが、何が大事なのですか？
- 352 名前：１３２人目の素数さん [2017/10/22(日) 02:11:57.72 ID:FBhS88Mi.net]
- >>337
そこら辺無知だからもう少し噛み砕いて説明してくれると助かる...
どこらへんが複素数平面と関係してるのだろうか
- 353 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:12:35.72 ID:2eKNWJaL.net]
- >>331
なんだメメタァくんはあんときのあいつだったのか。
- 354 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:12:36.77 ID:ucC0W3rz.net]
- >>338
やはり分かっていなかったか
その説明が無意味だと言ったんだがな
- 355 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:13:42.44 ID:seKspecq.net]
- >>340
A|-Bなら|-A→B
これの仕組みを理解していないと、あなたが証明したことすべてが無駄になるわけです
証明になっているかすら疑問が湧くわけですから
- 356 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:14:04.03 ID:seKspecq.net]
- >>343
どういうことですか？
- 357 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:17:26.46 ID:7SwMb7a1.net]
- >>344
なりませんね
論文も普通にアクセプトされますよｗ
どこか別の分野で、「これこれこういう理由で数理論理は必須だ」というのはないのですか？
今のところなくても困らない例しかないのですが
- 358 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:19:54.70 ID:ucC0W3rz.net]
- >>345
メタレベルで「A|-Bの指す内容」と「|-A→Bの指す内容」を区別しないのに、
形式的体系ではA|-Bと|-A→Bを区別してその理由を説明する
これでは（形式化されていない）数学そのものの基礎に対して何も説明を加えていない
- 359 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:24:07.75 ID:7SwMb7a1.net]
- ところで、
「物理の人は頭が悪いから、数理論理という高尚な学問に触れさせてはくれない」
というのはずいぶんアドホックですが、ちゃんと示してくれるんでしょうか
- 360 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:24:29.15 ID:seKspecq.net]
- >>346
道具の仕組みを知らなくても道具は使えます
使えますが、その人のレベルはそれまでだ、ということです
>>347
一般的な数学でも、|-と→は区別します
背理法です
A→Bの否定は、A∧¬Bなのです
これは、|-と完全に同一視しているとすると説明できないことです
- 361 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:27:12.56 ID:7SwMb7a1.net]
- >>349
数理論理が大事であることを示す、という話だったと思うのですが
はやく示してください
- 362 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02
]
- [ここ壊れてます]
- 363 名前：:29:31.88 ID:seKspecq.net mailto: >>350
道具の仕組みを知ろうとするレベルの高い人にとっては重要です
知ろうとしないレベルの低い人にとっては重要ではありません
数学なんて社会の役に立たない！ってわけです [] - [ここ壊れてます]
- 364 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:34:42.94 ID:1uTtN8Lt.net]
- 基礎論虫みたいな社会の役立たずが道具になれるわけないじゃん。
バカはやっぱバカだな。
- 365 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:35:12.85 ID:7SwMb7a1.net]
- >>351
数学は必要不可欠ですが、数理論理が必要不可欠な例を教えてください
できれば素朴な理解では何故ダメかを示し、それを数理論理学がどう解決したかまでお願いします
- 366 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:37:19.68 ID:seKspecq.net]
- >>353
素朴な理解で満足するなら、イプシロンデルタ云々もいらないですよね
- 367 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:38:28.29 ID:7SwMb7a1.net]
- >>354
？
数理論理の話をしているので、数理論理が必要不可欠な例をお願いします
- 368 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 02:41:45.73 ID:7SwMb7a1.net]
- この人と戯れるのすごい楽しいんだけど、楽しすぎて時を忘れてしまう
おやすみ
- 369 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 03:00:47.77 ID:sQMCEvaQ.net]
- なんだ誰もわからんのか
- 370 名前：１３２人目の素数さん [2017/10/22(日) 03:12:07.24 ID:FBhS88Mi.net]
- >>357
何故ならURLが無効だから
>>342に対しての回答はもらえないのだろうか
- 371 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 03:57:16.76 ID:sQMCEvaQ.net]
- 消したにきまってんだろ1時間たってもレス無しだったんだから
無効だから(ｷﾘｯとかよく言うわw
- 372 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 04:00:22.24 ID:sQMCEvaQ.net]
- 数学板は頭のおかしい奴の巣窟だと聞いてたがここまでとはな
ごちゃんの専門板に期待した俺がアホだったわ
まあ自己解決しますた
- 373 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! [2017/10/22(日) 08:44:26.24 ID:92V5orwH.net]
- >>335
>AからBを導けること、A→Bが真であること
>これらは等しいのです
等しくはないんじゃないの？
- 374 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 08:46:23.65 ID:seKspecq.net]
- >>361
矛盾ってなんですか？
わからないんですか？
- 375 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! [2017/10/22(日) 08:49:25.50 ID:92V5orwH.net]
- >>362
もう止めたら？ここじゃなくて「数理論理学」のスレの方でどうぞ〜
- 376 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 08:50:03.88 ID:seKspecq.net]
- >>363
わからないんですか？
わからないんですね(笑)
- 377 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! [2017/10/22(日) 08:54:54.80 ID:92V5orwH.net]
- >>360
それはよかった
どんな問題だったのかなあ
- 378 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! [2017/10/22(日) 09:14:46.12 ID:92V5orwH.net]
- >>364
あと
コテ付けてくれないかなあ
- 379 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! [2017/10/22(日) 09:27:14.12 ID:MJSV4CLh.net]
- 神と数学はどのような関係があるのでしょうか？
- 380 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 10:13:41.31 ID:7SwMb7a1.net]
- >>364
>>355を無視するのは何故ですか？
- 381 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 10:15:52.38 ID:42CRBcAx.net]
- >>224
それが謝罪の言葉なの？
素直に謝れないほどひねくれてるのは
よほど虐げられた過去でもあるの？
- 382 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 10:51:56.43 ID:qvtxl1W7.net]
- >>369
私は>>215ではありません
で、わからないんですか？
レベル、低いんですね
- 383 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 10:53:33.84 ID:qvtxl1W7.net]
- >>368
数学の論理の道筋を正確に追おうとすれば、必然的に必要となってきます
- 384 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 11:05:13.92 ID:7SwMb7a1.net]
- >>371
話をはぐらかさないで、数理論理が必要不可欠な例を理由と併せて明示してください
- 385 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 11:06:52.73 ID:qvtxl1W7.net]
- >>372
理由も何もそのままの意味ですよ
論理を形式化するのに数理論理は必要不可欠です
対象の形式化は数学の基本ですよね
- 386 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 11:08:40.07 ID:7SwMb7a1.net]
- >>373
例を明示してください
何故数理論理が必要であったか、素朴な理解でダメだった理由と数理論理がどうそれを解決したかを併せて明示してください
- 387 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 11:09:26.78 ID:qvtxl1W7.net]
- >>374
形式化することに意味を感じられないなら、数学をする必要はないですね
- 388 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 11:12:16.52 ID:7SwMb7a1.net]
- >>375
例を明示してくださいと言っています
できないのですか？
- 389 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 11:15:20.14 ID:qvtxl1W7.net]
- 歴史的には、ヒルベルトプログラムが発端だったはずです
集合論など、数学の基礎的な部分に注目が集まり、全ての命題は証明可能であるか、もしくは証明することができないかのどちらかであることを区別できるかどうか、このような疑問が生まれたわけです
この疑問は否定を持って結論されましたが、論理や証明の形式化という点では役立ったわけです
- 390 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 11:29:51.42 ID:7SwMb7a1.net]
- >>377
え、必要性は？
必要不可欠な例を聞いているのですが
「分からなかったらメタレベルっていっときゃいい」数理論理は本当に必要なのですか？
実際に東大のカリキュラムを調べていますが、数理論理や数学基礎論という授業は情報と数学で極わずかしかありませんでした（探しかたが悪いのかもしれませんが）
これで大事だと強弁できるのは何故なのでしょうか
- 391 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 11:47:55.34 ID:qvtxl1W7.net]
- >>378
公理ってありますね
実数の公理とか
そういうものも、認めるしかないですね
数学をやるためにはなんらかの前提が必要です
その前提をたどっていけば、論理式へと繋がり、それを形式化するのが数理論理です
重要でないはずがありません
- 392 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 11:50:48.91 ID:7SwMb7a1.net]
- >>379
要は重要だから重要というわけですね
重要なのに（物理系に限らず）学ぶ機会が少ないのは何故なんでしたっけ
- 393 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 11:52:42.87 ID:qvtxl1W7.net]
- >>380
道具の仕組みを知らなくても道具を使えるからです
- 394 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 11:54:49.19 ID:7SwMb7a1.net]
- >>381
？
それはやはり数理論理なんて必要がないということですよね？
- 395 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 11:55:26.94 ID:qvtxl1W7.net]
- >>382
必要ない人には必要ないということです
数学は社会の役に立たない！というわけです
- 396 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 11:57:52.79 ID:7SwMb7a1.net]
- >>383
それでは数学のように数理論理が必要不可欠であることを示してください、という話に戻りますね
- 397 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 11:58:54.00 ID:qvtxl1W7.net]
- >>384
あなたが論理の形式化に興味がなければ必要ないです
- 398 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 12:01:47.12 ID:7SwMb7a1.net]
- >>385
何故私の話になるのでしょうか
一般論はないのでしょうか
結局衒学趣味でしょって感想しかまだ抱けないのですが
- 399 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 12:03:15.26 ID:qvtxl1W7.net]
- >>386
形式化することに意味を見出すのが数学です
群論とかも、実際の対象だけ考えればいいはずなのに、わざわざ抽象化しますよね
そういうことに意味を見出すことができなければ、ただのお遊びに過ぎないわけです
意味を見出すことができないのであればそれまで、ということです
- 400 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 12:05:59.60 ID:7SwMb7a1.net]
- >>387
群論の話はしてないですね
数理論理の必要性をはやくどうぞ
はやく数理論理がほとんど学ばれていないことを受け止めたらどうですか？
- 401 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 12:13:29.15 ID:7SwMb7a1.net]
- 「ほら、こういうケースで数理論理は必要不可欠でしょ」をとりあえず明示していただければ良いのに、何故しないのでしょうか
- 402 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 12:39:46.93 ID:yZxBAFap.net]
- >>388
レベルの低い人しかいませんからね
勉強していないことをもっと恥じるべきだと思います
- 403 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 12:41:59.30 ID:7SwMb7a1.net]
- >>390
はやく必要不可欠なケースを示してくださいね
- 404 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 12:42:52.95 ID:yZxBAFap.net]
- >>391
そんなものはありません
論理の本質について考えない限り
- 405 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 12:45:07.40 ID:7SwMb7a1.net]
- >>392
開き直ったｗ
それでは論理の本質がどういうものか示し、数理論理の重要性を具体的に教えてください
- 406 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 12:46:43.43 ID:yZxBAFap.net]
- >>393
論理を形式化して数学の対象として扱うことができること
それ自体が素晴らしいことなのです
メタレベルにおいて解釈することで、数学で用いる論理それ自体の正当性も保証され得るわけです
- 407 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 12:51:13.15 ID:7SwMb7a1.net]
- >>394
何故素晴らしいのですか？
素朴な解釈がダメで数理論理のメタレベルの解釈が許されるのは何故ですか？
- 408 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 12:52:21.13 ID:yZxBAFap.net]
- >>395
美的感覚の問題ですから、思えないならそれまでということですね
個人の感覚によりますが、形式化するかしないかは大きな問題だと思います
- 409 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 12:54:22.03 ID:7SwMb7a1.net]
- >>396
一般論ではなくて貴方が勝手に思っていることなのですか？
問題なのは何故ですか？
- 410 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 13:04:00.08 ID:yZxBAFap.net]
- >>397
数学は形式化、抽象化することが良いことだからです
- 411 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 13:08:39.02 ID:H+CC1aZ4.net]
- >>389
計算可能実数を扱うには、コンピュータによる計算が伴う。
その計算可能実数のコンピュータによる計算の正しさについての保証の裏付けや、
そもそも実数の計算が可能かなどの計算可能性の問題を解決するためには、数理論理が必要になる。
だが、計算可能実数の全体は可算集合で、実数の全体Rの真部分集合である。
なので、数理論理では一般に実数について知ることは出来ないだろうな。
一般に実数について知るには、コンピュータとにらめっこするより紙と鉛筆かペンの方が適切だろう。
- 412 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 13:10:45.35 ID:7SwMb7a1.net]
- >>398
そうでない分野もありますが...
根拠はなんでしょうか
- 413 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 13:11:34.82 ID:YUvNANvZ.net]
- 数理論理学の数学への応用としては、モデル理論を代数幾何に応用して
なんか有名な予想を解決したとかいうのがあったと思うが。
- 414 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 13:15:07.64 ID:07YoAXMb.net]
- 自分に必要ないなら放っときゃいいのに
何をイチャモンつけてんだろ
- 415 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 13:21:57.06 ID:7SwMb7a1.net]
- 私も相手が劣等感婆じゃなきゃこんなやり取りしませんよ
- 416 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 13:30:41.86 ID:H+CC1aZ4.net]
- >>401
数理論理を応用した非可算集合としての実数体Rの
非可算な部分集合 A⊂R についての何か目立った結果はある？
- 417 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 13:53:46.08 ID:yZxBAFap.net]
- >>400
少なくとも、基礎論では重要です
- 418 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 14:02:41.17 ID:7SwMb7a1.net]
- >>405
その基礎論とやらは重要なのですか？
- 419 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 14:05:06.15 ID:yZxBAFap.net]
- >>406
ラッセルのパラドックスなど、数学の基礎的な困難に対する解決策を与えました
- 420 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 14:07:06.31 ID:7SwMb7a1.net]
- >>407
ラッセルのパラドックスはどのような分野でどのように問題になり、数理論理によってどう解決されたのですか？
- 421 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 14:10:29.88 ID:yZxBAFap.net]
- >>408
集合論の基礎が作られていた頃問題になりました
ZFCなど、論理式によって集合を形式化することに成功したため解決しました
その論理式は数理論理によって形式化されます
|
 |
