もう古いニュースですが、ゲーデルの生誕100年を記念して開かれたHorizons of Truth :: Goedel Centenary 2006というシンポジウムの中で行われたYoung Scholars' Competitionで、Justin Mooreが一位になったそうです。おめでとうございます、と本人にメール…

かがみさんの日記 - 続・ピタゴラスの定理 ところで フェルマーの定理って PA で「証明不可能」である可能性もある(本当？) と思うのですが、誰か証明してくれないでしょうか(笑)。本当はどちらなのだろう？ これはあり得ますし、AMS Noticesのゲーデル特集…