Inter-universal geometry と ABC予想 (応援スレ) 74 (963ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
660(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/02(火)07:26 ID:Xe3fp6ug(1/4) AAS
>>656-657
>>繰り返し無限に取る
>そんなアホなこと言ってると中高一貫生に笑われますよ
>iutでも、set theoretic formulasを扱うのに、
>本気で人が集合を操作できると思ってるヨーダし、
ここは、中高一貫校生も来る可能性があるから 赤ペン先生をしておくよ
下記の”極限 松田茂樹 千葉大学大学院理学研究科”を見てちょ
省34
661(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/02(火)07:28 ID:Xe3fp6ug(2/4) AAS
>>659
ご苦労さまです
で、やっぱり 記号∩は 不要だな ；ｐ）
694(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/02(火)21:01 ID:Xe3fp6ug(3/4) AAS
>>693
>一階述語論理では形式化できないseta数学なんでしょ
>iutとお似合いなんじゃねーの
IUTは 圏論使っていると宣言しているでしょ
そして 圏論は、一階述語論理しばりではない（下記）
外部ﾘﾝｸ[html]:www.utp.or.jp
圏論による論理学 (冊子版)
省34
697(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/02(火)22:53 ID:Xe3fp6ug(4/4) AAS
>>685
>>日常の数学で 何か無限操作を考えるとき
>well-defined でないから考えない。
ふっふ、ほっほ
尾畑研 東北大の”「集合・写像・数の体系 数学リテラシーとして」の草稿(pdf)”
これぞ、カジュアル集合論だと思うがね
そこでは、区間[0,1]に属する実数を10進無限小数展開でとらえて
省24
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s