[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
81: 2014/02/01(土)00:01 AAS
0.999・・・≠1 のやつだろ
82: 2014/02/01(土)00:15 AAS
>>78
クロネッカー？
83: 2014/02/01(土)00:45 AAS
直観主義の解析学でしょ
84: 2014/02/01(土)01:15 AAS
>>77,80
あざっす
それにしても,公理的集合論,数理論理学を自主勉強でやってきた物だから,
自分がどの程度出来ているor出来ていないのかがわからない
85: 2014/02/01(土)18:03 AAS
自主勉強の教材の命題を自力で証明できたらその教材は修了
でいいんじゃない？
86: 2014/02/04(火)16:49 AAS
>>78
非主流だけど、何人も指摘しているがそういう考えもあるからどうしようもないｗ
87: 2014/02/04(火)17:16 AAS
直観主義解析学でいうところの「実数」は通常の意味での実数とはまったく別物だから注意してね
88: 2014/02/04(火)20:45 AAS
√2やπが実数であることも認めないのかな？
89: 2014/02/04(火)21:50 AAS
直観主義なら認めるだろ
90: 2014/02/05(水)14:33 AAS
「πなどという数は存在しない」と言った数学者がいたとか
91: 2014/02/05(水)22:06 AAS
クロネッカーの主張は直観主義というよりはもっと過激な有限主義に近い
92: 2014/02/06(木)00:30 AAS
自然数は存在するけど負の数や有理数は存在しない、というのは
ちょっと過激すぎるよねえ
まあ、体をなさずモノイドにしかならない自然数は軽視されがちだから
その点はありがたいけど
93: 2014/02/08(土)19:06 AAS
田中の公理的集合論をそらで復唱できるぐらいになるっていうのは修士レベル?
公理的集合論辺りでは,
どの程度出来て学部4年・修士・博士レベルっていうか知りたいんですけど・・・
94(1): 2014/02/08(土)19:13 AAS
1回述語論理の完全性定理の証明抑えて学部3年ぐらい,不完全性定理の証明まで
そらで言えるようになって学部4年or修士1年じゃないのかなぁって
個人的には思ってるんですが。
それと,公理的集合論を深くやる人は,数理論理学は
どの程度抑えておいたほうがいいのかも教えて欲しいです
自然数論の無矛盾性の証明は是非抑えておきたいと思いつつも
全然手を付けていないっていう事もあります・・
95: 2014/02/08(土)19:14 AAS
がんばれ
96: 2014/02/08(土)20:09 AAS
素早いレスちょっとワロタ
このスレ逐一見てる人いるんですな
97: 2014/02/08(土)21:06 AAS
>>94
証明は覚えるもんじゃないけどなｗ
あと「抑える」じゃなく「押さえる」な
98: 2014/02/10(月)02:00 AAS
急にレスがなくなりましたね
99: 2014/02/15(土)00:23 AAS
何か急にレスがなくなりましたね
2月8日まではあったのに
100: 2014/02/16(日)16:52 AAS
形式主義を意識しながら圏論を勉強していきたいのですけど,
BGの公理系を学んだ後に圏論やったら見方がどういう風に変わりますかね？
BGの集合論やBGとZFCの関係について学べる本・論文あれば教えてください。
上下前次1-新書関写板覧索設栞歴
あと 515 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.077s*