[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
8: 狸 ◆2VB8wsVUoo 2013/11/24(日)12:42 AAS
狸
9: 狸 ◆2VB8wsVUoo [age] 2013/11/24(日)15:59 AAS
狸
10: 狸 ◆2VB8wsVUoo [age] 2013/11/24(日)17:03 AAS
狸
11: 2013/11/24(日)18:58 AAS
狸さんってひょっとしてＢ型？
12(1): 2013/11/24(日)19:03 AAS
集合論って、情報系>哲学系>数学系の順に人気があるイメージ
13: 2013/11/25(月)21:31 AAS
目新しく感じてしまう人
だけが関心を持つからね。
14: 狸 ◆2VB8wsVUoo 2013/11/26(火)06:55 AAS
狸
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
省3
15: Let's Fight！ [SAGE] 2013/11/26(火)08:38 AAS
無意味な人工物を勝手に問題設定して勝手に解く
これが基礎論の現状
そして自称解析学では重要な役割を果たすというが
どうでもいい命題ばかりでしか貢献できていない
本質的にゴミなのである
16: 2013/11/26(火)08:46 AAS
>>1
数学者にとってできれば触れたくない分野だからなw
17: 狸 ◆2VB8wsVUoo 2013/11/26(火)09:35 AAS
なるほど。
狸
18: 2013/11/26(火)12:25 AAS
＞無意味な人工物を勝手に問題設定して勝手に解く
これ、基礎論だけの現状ではないだろｗ
19: 狸 ◆2VB8wsVUoo 2013/11/26(火)12:36 AAS
例えば意味があるかどうかも判らないのに、とにかく計算機を使って得ら
れた出力を、『重要な結果だ』と強弁するとか。
狸
20: 2013/11/26(火)21:59 AAS
勝手な想像だけど、手法が限られている分ものすごくテクニカルで難しい議論を繰り広げてるイメージ
21: 2013/11/26(火)23:46 AAS
コンピュータに定理生成をさせると馬鹿人間でもこいつらよりはマシと思える。
22: 2013/11/27(水)03:00 AAS
この分野に"重要な（あるいは魅力的な）未解決問題"ってあるんですかね
誰か詳しい人
23: Let's Fight！ [SAGE] 2013/11/27(水)06:09 AAS
ほとんど無数に未解決問題が創造できる
なにしろ無限公理を追加し放題だからｗ
そして公理をさまざまにいじって
強制法やランダムの定義を少しづつ変えてってのはすでに行われている！
24: 狸 ◆2VB8wsVUoo 2013/11/27(水)14:25 AAS
狸
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
省3
25: 2013/11/28(木)01:25 AAS
へー
26: 2013/11/28(木)01:38 AAS
竹内薫のゲーデルの不完全性定理は
結構わかりやすい。
書評がボロクソに書かれてるけどそんに悪いかな？
27: 2013/11/28(木)01:54 AAS
わかりやすいのと
でたらめ書いて馬鹿にわかった気にさせるのは全然別の事だからな
上下前次1-新書関写板覧索設栞歴
あと 588 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s