2013年01月02日深夜の数学クラスタ (2ページ目)

@ROUNIN__MAIDEN

反例は証明の糧にするものだと思ってる。ネガティブな結果よりはポジティブな結果の方が良いしね。

2013-01-03 04:47:15

負けたら垢消し @crobert_z

ハメル基底

2013-01-03 04:47:47

負けたら垢消し @crobert_z

群とか見ると本能的に可算で考えちゃうからアレ

2013-01-03 04:48:44

青江憂 @がんばらねば @aoeui666

その辺は@eno____zzz氏が詳しいんじゃなかったっけ？

2013-01-03 04:48:49

@ROUNIN__MAIDEN

シェラーによるあの手の最初の結果でしょ？あれはヤバい。結局連続体仮説を使うんだよね。

2013-01-03 04:49:40

@ROUNIN__MAIDEN

確かに今話している内容、えのさんの受け売り感ある。

2013-01-03 04:50:32

@ROUNIN__MAIDEN

非可測集合作ったりとか？

2013-01-03 04:51:05

負けたら垢消し @crobert_z

そういうあれですね

2013-01-03 04:51:22

@ROUNIN__MAIDEN

ハメル♂基底も所謂「反例」を作るのでしか使われていない感。

2013-01-03 04:52:35

負けたら垢消し @crobert_z

ハメル基底はAC証明する時に使うだろ！！！

2013-01-03 04:53:07

負けたら垢消し @crobert_z

トートロジー感やばい

2013-01-03 04:53:19

@ROUNIN__MAIDEN

「普通の数学」の独立命題を示すのには連続体仮説が活躍しているので、連続体仮説の地位を取り戻していきたい。

2013-01-03 04:53:47

負けたら垢消し @crobert_z

ハメル基底の存在からACを証明するには当然ハメル基底を使う訳で

2013-01-03 04:54:18

@ROUNIN__MAIDEN

ハメルと動く尻

2013-01-03 04:54:23

負けたら垢消し @crobert_z

ミスター普通の数学

2013-01-03 04:55:27

@ROUNIN__MAIDEN

小耳に挟んだ話だと、Mr.counterexampleな方々は、あるか分からない反例を絶対に存在するという信念の下構成を試みるらしい。僕にはできないと思った。

2013-01-03 04:56:57

負けたら垢消し @crobert_z

溢れ出るヤバさ

2013-01-03 04:57:23

@ROUNIN__MAIDEN

スタジオ♂ズブリの作品

2013-01-03 04:57:32

青江憂 @がんばらねば @aoeui666

連続体仮説ってあんまり信じられないんだよなぁ。

2013-01-03 04:57:37

負けたら垢消し @crobert_z

連続体仮説信じない派です

2013-01-03 04:58:02

負けたら垢消し @crobert_z

いやだってあれじゃん～～～～？？実数をさ～～～～整列するとさ～～～～～initial segmentが可算になるとかさ～～～～あれじゃん～～～～？？

2013-01-03 04:59:11

@ROUNIN__MAIDEN

幾何の人にはたまに何か見えてる人がいて闇。

2013-01-03 04:59:25

負けたら垢消し @crobert_z

可算舐めすぎてる感は絶対ある

2013-01-03 04:59:55

負けたら垢消し @crobert_z

見えてるってこういう事ですよ皆さん https://t.co/1Liu7bWl

2013-01-03 05:01:40

@ROUNIN__MAIDEN

連続体仮説を「ｱﾚﾌ1＝連続体濃度」のことだとするのであれば、多くのロジシャンは違うと思ってるらしいです。ｱﾚﾌ2＝連続体濃度説が濃厚だとか。ちなみにエルデシュは連続体仮説が好きみたいで、これを仮定して色々証明していたそうです。

2013-01-03 05:02:10

いま話題のタグ