研究室においてあったので読んでみた。まじめな本であるということを考えると、文章が面白すぎる。いくつか面白いところを引用してみる。 「自然数上のいわゆる計算可能な関数は、上のように再帰的に定義することができる。しかし、そのようなことはいくらで…