>>95

「知の限界」読み直してみようと思う。ｐ７１のLISPによるゲーデルの証明、
これSchemeで書きなおせるかやってみる。

チャイティンの書いたLispインタープリタってネットで公開されていたような...