Fermatの最終定理と選択公理

しゅそくん @eszett66

@alg_d ひらいずみセミナーでは選択公理的ななにかをおやりになるのですか？

V-alg-d（ZZ） @alg_d

@eszett66 いや、今のところは整数論のそんなに難しくないお話的な感じのを考えてます。整数論の難しい話or選択公理をやっても良いのですが。

しゅそくん @eszett66

@alg_d なるほど。整数論の話をちょっと聞いてみたかったのでその方がありがたいです。

V-alg-d（ZZ） @alg_d

のうこさんが来るの前提で考えてたもので。

V-alg-d（ZZ） @alg_d

選択公理やるにしても何やるのがいいのか。一番やりたいのはTychonoffだけどTychonoffは第二回選択公理オフまで暖めておきたい。

@localcohomology

アルゴドゥううううううううううぅぅぅうぅううううううううううううううううううううううう氏の整数論のお話は聞きたいかもですううううううううううううううううううううううううううううううううううううううううううううううう

V-alg-d（ZZ） @alg_d

整数論の話に見せかけて最終的に選択公理の話に収束させたら格好良さそうだな。

しゅそくん @eszett66

@alg_d それはたしかにかっこいいですねw

V-alg-d（ZZ） @alg_d

@eszett66 しかし自然な道が思いつきません。

V-alg-d（ZZ） @alg_d

そもそもこの二つは弧状連結なのか。

V-alg-d（ZZ） @alg_d

Fermatの証明にGrothendieck宇宙がどうのって話はあるらしいが。

V-alg-d（ZZ） @alg_d

「axiom of choice number theory」で検索してみたらcardinal number theoryが引っかかって。

MarriageTheorem @MarriageTheorem

選択公理は数学の証明中でさりげなく有用性をアピールするステルスマーケティングの達人。一方、排中律はステルス過ぎて最早マーケティングになってない。

V-alg-d（ZZ） @alg_d

整数論の話に見せかけて最終的に選択公理の話に収束させたら格好良さそうだな。

断頭台のイオタ😜 @_iota

@alg_d 整数論の話から最終定理を話すとかカッコよすぎです！！！！！！

V-alg-d（ZZ） @alg_d

@_iota でしょ?

スラステ @slapstick123

最終定理の証明は一度でも通してみてみたかったのでこれはかなりの期待

V-alg-d（ZZ） @alg_d

@slapstick123 志村・谷山の定理などについては既知とします。

スラステ @slapstick123

@alg_d 楕円のあたりこそ重要なのでは...:;(∩´﹏`∩);:

しゅそくん @eszett66

@slapstick123 スラステさんはなにかやらないのですか？

スラステ @slapstick123

@eszett66 それがですね～まだなにも考えてないのですよ。適当に解析周辺の話をしてもよいのですが、いかんせんネタが思い付きません。

しゅそくん @eszett66

@slapstick123 ですよね。なにか軽い感じのネタがほしいんですけどね～。

V-alg-d（ZZ） @alg_d

@slapstick123 @eszett66 Fermatに対抗してRiemann予想

スラステ @slapstick123

@alg_d @eszett66 Riemann予想ｗｗｗのうこさんも来ることを考慮して高校生でも解る範囲で解析やろうかなぁと

@localcohomology

アルゴドゥうううううううううううううううううううううううううううううさんによる最終定理の証明が聞けるとあらばかならず行きます！☆(ゝω･)vｷｬﾋﾟ