08/01/15 23:01:11
>>95
「知の限界」読み直してみようと思う。ｐ７１のLISPによるゲーデルの証明、
これSchemeで書きなおせるかやってみる。
チャイティンの書いたLispインタープリタってネットで公開されていたような...
08/01/15 23:01:11
>>95
「知の限界」読み直してみようと思う。ｐ７１のLISPによるゲーデルの証明、
これSchemeで書きなおせるかやってみる。
チャイティンの書いたLispインタープリタってネットで公開されていたような...
08/01/15 23:01:11
>>95
「知の限界」読み直してみようと思う。ｐ７１のLISPによるゲーデルの証明、
これSchemeで書きなおせるかやってみる。
チャイティンの書いたLispインタープリタってネットで公開されていたような...