08/01/15 19:27:11
>>84
プログラミング言語なんて所詮は「λ算法＝チューリングマシン」の糖衣構文に過ぎないからねぇ。
スマリヤンの本の趣旨は「コレスゲーってプログラムをつくるには（ゲーデルのいうように限界があるのだよ）」ということだからねぇ。
08/01/15 19:27:11
>>84
プログラミング言語なんて所詮は「λ算法＝チューリングマシン」の糖衣構文に過ぎないからねぇ。
スマリヤンの本の趣旨は「コレスゲーってプログラムをつくるには（ゲーデルのいうように限界があるのだよ）」ということだからねぇ。