選択公理って何ですか?

転生先@crobert_z @crobert_z2

僕は基底とか極限イデアルとか超フィルターとか好きなんで選択公理を信じ続けますよ皆さん

転生先@crobert_z @crobert_z2

極限イデアルってなんだよ極大だよ

V-alg-d（ZZ） @alg_d

選択公理は別に信じなくてもそこらじゅうにある。

転生先@crobert_z @crobert_z2

3で割るには選択公理必要無いですbyConway

黒ごまのかき氷 @hymathlogic

推論で選択公理を全く使わない人は選択公理に慣れたるか、特別な才能のある人だと思う。普通無意識に使う。

黒ごまのかき氷 @hymathlogic

まあ、慣れればどこで選択公理使ってるかはすぐ分かるようになるのでそんな大変なことではないが

黒ごまのかき氷 @hymathlogic

普段はそんなことに注意力使いたくないので気にせずバンバン使いますが

V-alg-d（ZZ） @alg_d

そんなことに注意力を使っている人生だった。

転生先@crobert_z @crobert_z2

選択公理が他のよく分からん謎命題と同値とかどうでも良いがすごく身近な命題と同値って知ると感動する

転生先@crobert_z @crobert_z2

Lowenheim-Skolemは別に身近じゃないけど同値なのは感動した

Being @vvibgyorr

RT鍵: 今学期の可換環の授業で先生がZornの補題を使ったときにいきなり「あ、この授業では選択公理を使います。使わないと可換環論は何もできないので。もしこの中に選択公理を認めない人がいるなら出ていってください」と言ってた

Being @vvibgyorr

これは数学科の履修登録で「夏学期・冬学期」「3年生・4年生」とか選んで絞り込む項目に「選択公理を認める・認めない」が追加される日も近いな

もこにゃ｜儲かる数学術 @rmn_w

alg_d「オッ！選択公理ですな～～～」

amylase伯爵 @pepsin_amylase

必修で選択公理を認めざるを得ない授業が出てきたらどうすんだろ。

amylase伯爵 @pepsin_amylase

集合と位相は「論争を教えよ」的な感じで選択公理自体を教える講義なので例外かな。

alstamber @alstamber

選択公理

みっきー @darknist

選択公理を認めませんと言って出て行くロックな人はいたのかが気になる

Dekuno @Dekunobotti

選択公理ってよくTLで見るからググってみたけど……お前は一体何を言っているんだって感じだった。

Dekuno @Dekunobotti

「一つの球を有限個に分割してそれぞれを集めて元の球と同じ体積の球を二つ作ることができるという。」？？？？？？？？？？？？？？

Dekuno @Dekunobotti

((☛(◜◔。◔◝)☚))ここ大丈夫ですか～～～？？？

Dekuno @Dekunobotti

直感に反しまくってるな。

相転移P @phasetr

http://t.co/gS5vUoX6 http://t.co/hG5vXrrM http://t.co/uoAwBQVF それは選択公理ではなくバナッハ-タルスキの定理だ

V-alg-d（ZZ） @alg_d

選択公理でググったらそれが出てきたという話なのでは。 #phasetr

きょーじゅ @oomichikyouju

選択公理自体はそこまで難しいものではないよ まぁその周辺は難しいけど

Dekuno @Dekunobotti

選択公理で殴りかかられたらベルヌーイの定理で反撃するしかない。