Comment on 20080717-1

そして、数学ガール続編『数学ガール/フェルマーの最終定理』が7月30日発売だそうですね。
http://www.hyuki.com/girl/fermat.html
残念ながらテーマは集合論ではなく整数論だそうです。「僕」の中学生の従妹が登場する由。

ファルマーの最終定理に関しては、例えばクンマーの「正則な素数」の場合に成立するという定理でも十分難しいと思います。ましてやフライの予想 (セール予想) やワイルズによる谷山・志村予想の半安定な場合の証明もはとんでもなく難しいはずです。その辺りの証明をどんな風に追いかけているかについて興味があります。著者の方が証明をご存知とはにわかに信じられないのでなおさらです。

「数学ガール/ポアンカレ予想の解決」は出ないですかね？
新キャラは、ロシアから来たキノコ好きの謎の天才少女。

すみません。「ロシアから来たキノコ好きの謎の天才少女」ってもとねたかなんかあるのですか。それとも通りすがりさんのオリジナル？

ポアンカレ予想を解決したペレルマンはその後、数学者としては引退し世間から姿を隠して、森でキノコの観察をしながら暮らしていると伝えられています。

ロシアの方は見当がついたのですが、キノコの方はまったく知りませんでした。同じく世間から姿を消してしまったグロタンディークはなにを見て暮らしているのでしょうか。俗人にはまったく分からない世界です。