|
小西孝一 |
|
uchinyan様
またコキコ。 私は途中で病気になって会社を辞めましたが、やっぱりソフト開発を やっておりました。 最初は幾何（ポリゴン中心）ルーチンをおもに作っていました。 その後ＡＩブームでＡＩチームに入りました。 第一のバイブル、ゲーデル・エッシャー・バッハなど読みました。 「ゲーデルの世界」で命題論理の完全性は理解しました。 （今は忘れてますが） 述語論理も完全でしたよね。 数論を含む表現力のある形式的体系Ｌは既に不完全でしたよね。 ゲーデルの不完全性定理がありますものね。 あるプログラムにある入力を与えた時、停止するかどうかを決める アルゴリズムは存在しないことも簡単に示せましたよね。 数学基礎論になりますが、これも勉強途中でした。 お互い、頑張りましょう。 |
|
ど田舎
9月3日（月） 3:16:58
30622 |