安部行人

---

しかしながら、いわゆるモーダス・プログラムを実行してみてわかったのですが、
いかなる形式システムも、不完全であると同時に、それ自体の整合性を立証することはできないのです。
”真実”の特性を表現する、有限で数学的な方法はないのです。

"The Difference Engine" W.Gibson & B.Sterling

スレッドへ　前　後