[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
わかりやすいのと
でたらめ書いて馬鹿にわかった気にさせるのは全然別の事だからな
28: 2013/11/28(木)06:47 AAS
ふーん
29: 狸 ◆2VB8wsVUoo 2013/11/28(木)07:04 AAS
狸
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
省3
30(1): 狸 ◆2VB8wsVUoo 2013/11/28(木)09:31 AAS
狸
31(1): 2013/11/28(木)10:35 AAS
集合論とは実数について考えるための道具だったのですね
哲学の方から集合論に興味持ったために長いこと勘違いしてました
32(1): 2013/11/28(木)19:45 AAS
>>30
元気ですか？
33: 狸 ◆2VB8wsVUoo 2013/11/28(木)20:17 AAS
I have a burning smell.
--tanuki--
34: 2013/11/28(木)20:20 AAS
竹内薫の本バカにされてるけど
そもそも不完全性定理って数学の定理じゃないからｗ
>>31
数学者の使う実数とは違うよ
やるだけ無駄 役に立たない
35: 2013/11/28(木)20:27 AAS
＞そもそも不完全性定理って数学の定理じゃないからｗ
だからなんやねん
36(1): 狸 ◆2VB8wsVUoo 2013/11/28(木)20:28 AAS
>>32
はい、毎日元気に馬鹿板潰しに精を出してますぅ〜
ケケケ狸
37: 2013/11/28(木)20:43 AAS
算術の定理と言いたいんだろうか
38: 狸 ◆2VB8wsVUoo [age] 2013/11/28(木)20:55 AAS
運営の失敗と言いたいんだろうか
ケケケ狸
39(1): 2013/11/28(木)22:10 AAS
ZFCってでかすぎるんだよね
成り立つかどうか胡散臭い定理が結構ある
全体的にあまりに空想的な命題が多すぎて設定次第でどうにでもできてしまうからね
そこが人工的な感じがして今一本気でやればい部分がある
上下前次1-新書関写板覧索設栞歴
あと 576 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s