>>52
>てゆーか、1はそもそも自分でも何を理解したいのか自覚できてないと思うぞ。

勉強する前はいつでもそういうもんじゃなかろうか。知識がないと疑問や興味も明確にはできない。

> 多分堅気の人が知りたいことは、証明チェック関数の ”プログラミング”の部分などではないと思う

決してわからない真理が存在することを理解したい、ならチューリングの停止問題の方がとっつきやすいかも。