ググってたらゲーデルもLisperだったって書いてあった。