26/08/03 14:49:29.22 c+rrVO5c.net
>>778 追加
「γが無理数」
みんな 当たり前じゃん 自明じゃんと思うが
証明は？ と言われると まだ無い
今回のLANAチームの中間報告>>763
も 望月先生とか RIMSの数学者たちが
"3.11→3.12" ほぼ自明じゃん
と思っていたところ
Leanチームから そこの証明 ちょっとギャップあるんじゃないの？
と言われてしまった
いまここ
だから、Leanさんの指摘ギャップを埋めればいいだけ
問題は、それが出来るかどうか
だね （＾＾