>>775
＞情報系でいくなら、チューリングだけ知っといて、
＞ゲーデルとは等価ってことだけ覚えとけば問題ないような。
λ計算をやらないナンチャッテ情報系ならな（ｗ
>>779
＞先にゲーデルから入ると、そこからトンデモ方面に入ってしまう可能性高。
トンデモに入るのは、第一無視で第二の無矛盾性だけに飛びついたり
また第一をやるにしても「この命題は証明できない」とかいう
エピメニデス文だけで分かった気になる奴。
喩えていえば、別の穴に入れて発射したってとこか（ｗ
＞チューリング→ゲーデルと進めばその危険はほとんどない。
大間違い。実際ペンローズは見事にトンデモの穴に落っこちた（ｗ