2012年選択公理の日

@tenapi

10月12日 ( 0x0A月 0x0C日 ) を選択公理の日と定めますかね。んで、次の日が決定公理の日。

V-alg-d（ZZ） @alg_d

A月C日は選択公理の日ですぞ～～～　#選択公理ちゃんマジ公理

天国超越のミサワ @ccccccccandy

選択公理の日おめでとう！1012の夜は整列可能定理followしようと思います！

ぜろけー☪ @zk_phi

選択公理の日w

ワヘイヘイ @waheyhey

選択公理の日です！

カムパネルラ @kampa03

なるほどA月C日うまいな　#選択公理ちゃんマジ公理　

V-alg-d（ZZ） @alg_d

【実数関数の連続性 : 選択公理 | 壱大整域】 http://t.co/SM55SS4S

エヴァ坊 @Evabow1

え！？こんなところにも選択公理が→→連続性

二郎 @7010333

選択公理の日か

. @baZil0706

選択公理の日か

V-alg-d（ZZ） @alg_d

https://t.co/7QdPMVKI Blass先生の証明フォローしてない男の人って

@math_atoshi_asp

選択公理とそれと同値なZornの補題とUryzohnの補題にはお世話になった。そして多分これからも。#選択公理ちゃんマジ公理

にょこい @yokoi_a

選択公理の日ｗ

V-alg-d（ZZ） @alg_d

完備化の話とかZornの補題の話とか不動点の話とか書きたかったけど間に合いませんでした。

V-alg-d（ZZ） @alg_d

【The axiom of choice, fixed point theorems, and inductive ordered sets】 http://t.co/SCXDIYvu この辺の話を書きたかったのですが全然証明書いてなくて困ったもんです。　#論文

V-alg-d（ZZ） @alg_d

A～C～

simplicial object @zj_nj

@alg_d ZFの無矛盾性って証明できないんでしたっけ（何もわからない）

V-alg-d（ZZ） @alg_d

@nmrmsaktdh 不完全性定理

simplicial object @zj_nj

@alg_d うう……世の中難しい……（基礎論についての衒学記事を読めば読むほど数学に対する不安感のみが増していく）

V-alg-d（ZZ） @alg_d

@nmrmsaktdh Grothendieck宇宙

simplicial object @zj_nj

@alg_d ぬぬぬぬぬぬぬぬぬぬぬぬぬぬぬぬ

V-alg-d（ZZ） @alg_d

@nmrmsaktdh 普通はZFの無矛盾性あたりを認めて、ZFCとかZFC+GCHとかの無矛盾性を証明します。

V-alg-d（ZZ） @alg_d

基礎論が分かる高校生

simplicial object @zj_nj

@alg_d （同級生を見ながら）