TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【有効数字】9=9.0ってどうなの？【数学】
【大学院へ】 30過ぎて、数学の道へ 【挑戦】 第5章
ピタゴラス数をなんと 〜荒らされたので立て直しました〜
惑星ニビルの衝突
現代数学の系譜 カントル 超限集合論2
【生保・損保】アクチュアリー資格試験スレ【年金】
現代数学の系譜 工学物理雑談 古典ガロア理論も読む65
工学部の一年生だけど院は数学科にいきたい
0.99999……は１ではない その１０
現代数学の系譜 古典ガロア理論を読む39
- 448 ：
- >>436
＞メタな立場でそういう定理を使う時はそういう公理を暗黙的に(直観的に)認めているってことじゃないんですか？
メタに認めているということです
＞もし認めて使っているんだったら何のために形式的数学なんてやってるんだってことになりませんか？
あなたが認めたくないならそれまでです
よかったですね
>>437
＞ だから我々の数学の証明はメタっぽく見えるけど本当は形式化されているんだ
我々の自然言語は形式化されていません
当たり前ですね
それを形式化することは可能でしょう
>>439
＞数学基礎論におけるメタ証明の中でツォルンの補題を使うこと云々に執着するのは意味が無いんですか？なぜですか？
メタだからです
どれだけメタな仮定をおけば論理を形式化するのに十分なのかというのも数理論理の興味の一つかもしれませんね
＞しかもツォルンの補題を使うっていうことはメタな立場で直観的な(？)集合概念までをも使ってるじゃないですか
そうですね
でもそれは仕方ないことです
メタを認めないなら、議論はできません
＞異論を差し挟む余地の無い数学基礎論(有限の立場での議論？)という土台を作ってその上に個別の数学理論を展開出来るようにすることは出来ないんですか？
できます
メタな論理を用いて数理論理を使って、形式化された論理を用いて数学をすれば良いのです
＞個々の各数学理論でω無矛盾や数値別表現可能性(みたいなもの)が問題になっているんですか？
数理論理の分野だけじゃないですか？
＞ω無矛盾や数値別表現可能性ってメタと対象の違いに着目した概念じゃないんですか？
そうですね
数学板ID表示制検討スレッド
現代数学の系譜11 ガロア理論を読む25
高校数学の質問スレPart402
Inter-universal geometry と ABC予想 (応援スレ) 47
【専門書】数学の本第80巻【啓蒙書】
ユークリッド幾何学は中学・高校数学から撤廃すべき
現代数学の系譜11 ガロア理論を読む29
文理融合のための数学教育
現代数学の系譜11 ガロア理論を読む25
0.99999……は１ではない その３
--------------------
【CB】初心者の質問、変なスレ･困った★報告処 雑談ok ★184
【KFC】ケンタッキーフライドチキン 182【Ponta】
【hack】ハック＆スラッシュゲーム総合 21【slash】
【悲報】小泉進次郎環境大臣、壊れかけのレディオ★2 [579392623]
アメリカ合衆国、新規感染者数37370人
【勇気！】ビッグウエーブチャレンジ【無謀？】
SNSで疲れた人形者が愚痴るスレ72
【illion】 RADWIMPS part93 【味噌汁's】
【PS4】FIFA20 ULTIMATE TEAM 90packs【Xboxone】
ミリタリージェットエンジンを語るスレ 8kN
【US版】The Office 【ﾈﾀﾊﾞﾚ禁止】
運痴だから男性差別に反対
【BTC】ビットコイン情報交換スレッド806【アフィ
真夏の夜の淫夢★1417
関西学院大学 vs 同志社大学
シャヲル雑談スレ57
アルゼンチンはいつから発展途上国になったのか
セガ、『けものフレンズ３』アプリ版に登場する「アルパカ・スリ（CV #藤井ゆきよ）」の紹介PVを公開！ リリースはついに明日！
【乃木坂46】北川悠理応援スレ☆3【ゆりちゃん】
●●●●●低脳●の●●Rー鑑賞会2●●●●●●
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
