選択公理理解してません

まきマキマっきー @makimaki_makky

選択公理理解してるなんて言ったらハチの巣にされかねないから絶対に言わない

2013-09-25 23:49:44

すずき (終了) @mszk_p

選択公理理解するの，めちゃめちゃ難しいと思うんだが．選択公理の主張自体はあーそーなのー，って感じだけど．

2013-09-25 23:43:54

すずき (終了) @mszk_p

ていうかZFCが難しい．

2013-09-25 23:44:06

すずき (終了) @mszk_p

選択公理ちゃんマジ公理って言葉があるのに弱ケーニヒの補題ちゃんマジ補題とかarithmetical transfinite recursionちゃんマジ難しいとか仙台ちゃんマジ寒いとか言う人誰もいないのなんで．

2013-09-25 23:47:40

すずき (終了) @mszk_p

#仙台ちゃんマジ寒い

2013-09-25 23:47:47

すずき (終了) @mszk_p

#岩澤代数関数論マジ岩澤

2013-09-25 23:50:10

くるる @kururu_goedel

選択公理を理解したというのが、最低でもEquivalents of the ACとConsequences of the ACで紹介されている全てに証明を付けられるということを指すなら、そんなことが出来るのは人間ではないし、第一そんな存在は@alg_dさんくらいしかしらない。

2013-09-26 00:03:14

V-alg-d（ZZ） @alg_d

なんかプロから凄い煽りが来た

2013-09-26 00:05:43

ぞみ @zomi1202

結論：alg_dさんは人間ではない。

2013-09-26 00:05:22

V-alg-d（ZZ） @alg_d

o(｀ω´*)oﾌﾟﾝｽｶﾌﾟﾝｽｶ!!

2013-09-26 00:05:58

ぞみ @zomi1202

「alg_dさんは人間ではないのでは？」という未解決問題が肯定的に解かれた瞬間だった。

2013-09-26 00:06:56

くるる @kururu_goedel

@alg_d えー、ボク選択公理の専門家じゃないし。師匠に神から与えられたものと教わっているので、神棚に飾ってあります。

2013-09-26 00:08:32

V-alg-d（ZZ） @alg_d

@kururu_goedel ふぇぇ

2013-09-26 00:10:36

V-alg-d（ZZ） @alg_d

Con. ACで紹介されている全てに証明つけるって一体何百年かければ終わるんですか…。

2013-09-26 00:16:04

†小野寺小咲† @srb_2

alg_dさんそんなにすごい存在だったのか、サインもらっておけばよかった。

2013-09-26 00:12:57

じん @crobert_z

選択公理知らないけど成り立つから問題無いでしょ？

2013-09-26 00:14:27

たんじぇ @f_tangent

つどいのときドゥードゥーやってたあのお方は人外だったのか...

2013-09-26 00:15:37

じん @crobert_z

人間をやめて選択公理と同値な命題になるalg_d

2013-09-26 00:21:14

V-alg-d（ZZ） @alg_d

やめないよo(｀ω´*)oﾌﾟﾝｽｶﾌﾟﾝｽｶ!!

2013-09-26 00:22:40

すずき (終了) @mszk_p

alg_dさんが選択公理と同値になることがわかれば，晴れてalg_dさんは選択公理になれるわけじゃないですか．おめでとうございます．

2013-09-26 00:24:07

POND @beinthepond

宇宙と一体化していくalg_dさんが見えた

2013-09-26 00:24:10

塚口あおい @H_4intoE_8

何、alg_d氏が人の姿保ったまま選択公理と同値な命題になるのか

2013-09-26 00:24:55

小泉ふゅーりー @koizumi_fifty

毎朝alg_dに優しい言葉をかけるときれいな選択公理ができる

2013-09-26 00:26:10

V-alg-d（ZZ） @alg_d

ちょっとみなさん何いってっか分かんないですね。

2013-09-26 00:26:17

スマートコン @mr_konn

選択公理「アルゴドゥーちゃんまじゴドゥー」

2013-09-26 00:26:58

いま話題のタグ