2012年10月07日のツイート
@kururu_goedel: ふざけてないで寝よう。
@kururu_goedel: 正直、身につまされてあんまり笑い事ではない。
@kururu_goedel: 著者「ウオオオいくぞオオオ!」主定理「さあ来い著者!」……《主定理の証明は読者への練習問題とする》
@kururu_goedel: 著者「フ…上等だ…オレも一つ言っておくことがある。この結果を一般化して重要な未解決問題が解けるような気がしていたが別にそんなことはなかったぜ」主定理「そうか。 そして証明の鍵になる手法に関してはリファレンスを用意しておいた。あとは私を倒すだけだなクックック」
@kururu_goedel: 著者「やった…ついに四天王を証明したぞ…。これで主定理の証明を始めることができる!!」主定理「著者よ、証明を始める前に一つ言っておくことがある。お前は私を証明するの補題Aが必要だと思っているようだが…別になくても証明できる」著者「な 何だって!? 」
@kururu_goedel: 著者「定理1を証明したぞ」定理1「グアアアア」定理2「定理1がやられたようだな」定理3「ククク…奴は四天王では最弱」定理4「著者に証明されるようでは定理の面汚しよ」著者「同様に定理2?4も示せる」定理2?4「グアアアア」
@kururu_goedel: あ、ちゃんとした元ネタ見つかった、消してやり直す。
@kururu_goedel: なんかすごく久しぶりに学会行っていいって許可が出たので、行きますって返信出しました。