>>759
情報系でいくなら、
チューリングだけ知っといて、ゲーデルとは等価ってことだけ覚えとけば問題ないような。