>>464
どうやっても、自然数と1体1対応させられない。
対角線やらカントールベルンシュタインやらの証明を追っていくことで直感していく。
田中尚夫の公理的集合論が手頃だったけど品切れかな。
キューネンkunenの翻訳もあるけどあれは入門書じゃない。

>>483
あれは結構ハードだ。構成的プログラミングもプログラム理論としていいかな。
あと、PX関連の本が著者のサイトで全文公開されてた。

>>494
>言語なんてどれもラムダ計算の糖衣構文だから
これ自体にひっかかりを覚える、レジスタマシンでも同様のことがいえるから。
規模の小さなLisp系の言語から始めるのは同意するけど。