[過去ﾛｸﾞ]
なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
なぜ、ZFC公理まで遡らなくても数学が出来るの？ http://rio2016.5ch.net/test/read.cgi/math/1731415731/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
54: １３２人目の素数さん [] 2024/11/16(土) 23:27:24.51 ID:XoMbXEhc つづき 多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく， 思考のプロセスとしての脳髄の生理現象そのものであろう したがって，数学はその意味での実存として数学者の生の隣り合わせにあるもの，と意識されることになるだろう そのような「生きた」「実存としての」(existentialな)数学で問題になるのは， アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので， これは， ときには，意識的に厳密には間違っている議論すら含んでいたり， 寓話的であったりすることですらあるような， かなり得体の知れないものである (引用終り) ユーツベ/UNMuV1UTRsA?t=1 大学数学は厳密であるほど良い←誤解です（ブルバキの功罪） 趣味の大学数学 13,457 回視聴 2023/02/23 #証明 #数学 #ブルバキ 厳密で抽象的な大学数学が流行った経緯と、その批判を話していきます。 大きな影響を与えたのは、ブルバキ「数学原論」です。 大学数学への見方が変わる話なので、最後まで見ていってください。 0:00 イントロ 0:22 ブルバキとその影響 3:01 厳密化とわかりやすさ 4:56 急いだ抽象化は危険 7:50 厳密さと直観のバランス 9:02 まとめ (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1731415731/54
86: １３２人目の素数さん [] 2024/11/19(火) 12:37:18.51 ID:pBwzczyc 線型代数わからんアホに圏論はわからんよ http://rio2016.5ch.net/test/read.cgi/math/1731415731/86
306: １３２人目の素数さん [sage] 2024/12/06(金) 07:19:32.51 ID:akiBfS2/ >>302 ＞逆数学は、二階算術を使うらしい 二階算術の定義、正確に書ける？ 正確に書けないなら君に語る資格は全くないから全部忘れな http://rio2016.5ch.net/test/read.cgi/math/1731415731/306
432: １３２人目の素数さん [] 2024/12/10(火) 09:08:32.51 ID:NkiTvUqJ >述語論理分かってないって言葉分かってないのと同じだから仕方ないけど と考える高校教師が多かったら 日本の数学の風景はだいぶん変わっていただろう http://rio2016.5ch.net/test/read.cgi/math/1731415731/432
439: サキュバスお☆さん [sage] 2024/12/10(火) 10:22:26.51 ID:fHQgLkaf 単に推論規則だけ示すんじゃなくて 定理の場合必ず証明に至る手続きを示すこと 線型代数でいうところの消去法ね 論理を「算数」として教えるなら必須かしら http://rio2016.5ch.net/test/read.cgi/math/1731415731/439
450: １３２人目の素数さん [sage] 2024/12/10(火) 15:10:36.51 ID:QgpaURqR 「１つの公理図式」を「１つの公理」と誤解した自己愛高卒ド素人 失せろ https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E5%9B%B3%E5%BC%8F 「公理図式とは、ある一群の（多くの場合には無限個の）類似の「形式」（schema）を持った公理を、メタ変数を含む単一の論理式で表現したものをいう。」 「メタ変数に代入されうる部分論理式や項が可算無限通りあるとすれば、その公理図式は可算無限個の公理の集合を表すことになる。」 「公理図式の実例としてよく知られているものを二つ挙げる。 帰納法図式：ペアノ算術の一部であり自然数の算術である。 置換公理図式：集合論の標準的なZFC公理系による公理化の一部。 これらの図式は除去できないことが証明されている。 従ってペアノ算術とZFCは有限公理化できない。」 http://rio2016.5ch.net/test/read.cgi/math/1731415731/450
490: １３２人目の素数さん [sage] 2024/12/12(木) 08:06:09.51 ID:CrOOCsFJ 多変数関数論をきわめても 選択公理が分かるようになるわけではないらしい またどうせ一行でにくたれ口叩くんだろうな そんな爺はさっさとくたばったほうがいい http://rio2016.5ch.net/test/read.cgi/math/1731415731/490
493: １３２人目の素数さん [sage] 2024/12/12(木) 10:00:02.51 ID:CrOOCsFJ ロジャー・ペンローズもゲーデルの不完全性定理を真面目に理解しようとしなかった どうやら決定不能性が彼の信念と相容れなかったらしい 彼はダーフィット・ヒルベルトの後継者というわけだ 間違うことは誰にでもある 問題は間違いに気づかず間違い続けることである http://rio2016.5ch.net/test/read.cgi/math/1731415731/493
666: １３２人目の素数さん [sage] 2024/12/17(火) 11:45:51.51 ID:C4PYt54E >>611 現代数学の童貞君曰く >ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え、超限帰納法の適用を可能とする 全順序：任意の集合a.bについて、a∈bかb∈aのいずれかが成り立つ マジですか？童貞君 http://rio2016.5ch.net/test/read.cgi/math/1731415731/666
755: １３２人目の素数さん [sage] 2024/12/20(金) 17:54:45.51 ID:CedwY7Ae suc(a) := {a}だと、例えば{}∈{{}},{{}}∈{{{}}}だが{}∈{{}}でないのでダメ suc(a) := a ∪ {a}だと、{}∈{{}},{{}}∈{{},{{}}}}で、{}∈{{},{{}}}なのでヨシ idiotはただ単純というだけでZermelo構成に固執して死ぬ http://rio2016.5ch.net/test/read.cgi/math/1731415731/755
851: １３２人目の素数さん [] 2024/12/21(土) 20:35:00.51 ID:WIRqKN3y >>843 ＞軽い捌き 確かに軽いね 自らの読解力の低下を認めず、全てを他人のせいにする言い訳はことのほか軽い こんな軽薄な人物を 名古屋大学名誉教授だというだけで盲信する 大阪大学工学部卒の白●も実に軽い 脳味噌がね http://rio2016.5ch.net/test/read.cgi/math/1731415731/851
884: １３２人目の素数さん [] 2024/12/21(土) 21:42:00.51 ID:26O59SCD >>878 たった2ページの記事も読めないんですね？症状進んでるみたいですね http://rio2016.5ch.net/test/read.cgi/math/1731415731/884
952: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2024/12/22(日) 16:41:51.51 ID:pGQluwbN ふっふ、ほっほ 再録>>918 さすがは、プロ数学者のご指導です ありがとうございます ｗ >>882 補足 (引用開始) >前提 >１．出題による、最大決定番号の分布は可測 >２．回答者は列をランダムに選択 >３．回答者の列の選択は出題とは独立 >結論 >このとき、回答者が選んだ列が最大決定番号である確率はたかだか1/100 これがまったく命題の体をなしていないことに気づかないまま 10年を過ごしてしまったわけだね。 (引用終り) ふーむ なるほど これが、某Ｎ大 ＯＴＫゼミの流儀か （＾＾ 『命題の体をなしていない』・・か そのスジには、10年気づかなかった では、補足をば ｗ 条件節Ｐ：可算無限のXn | n∈N Xn は、箱に任意の実数r を入れて 箱を開けずに的中する 確率変数 明らかに ∀n P(Xn)＝0 (的中確率0) 結論節Ｑ：時枝トリックにより あるn ∃n P(Xn)＝99/100 (的中確率99/100) よって、Ｐ→Ｑ となる数学的証明は存在しない！ ∵ Ｐの∀n P(Xn)＝0 (的中確率0)と、Ｑの∃n P(Xn)＝99/100とは 最初から、そもそも矛盾している そういう話ですね なので、時枝トリックは”エセ数学”でしたとさ なるほど これが、某Ｎ大 ＯＴＫゼミの流儀か （＾＾ http://rio2016.5ch.net/test/read.cgi/math/1731415731/952
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.800s*