- 52 名前：スレタイスレ446 mailto:sage [2012/01/03(火) 22:01:09.38 ]
- >>44>>47
STSは全く知りませんでしたね。だとすると誤読でしたね。
確かにクリプキの指示とかの話は内包論理に関する様相論理の話でしかない。
>>45
＞今の計算機の原理と一階論理にはどんな関係があるの？
一階論理程度の表現能力があれば十分だというところですね。
ホーン節はじめ分解原理・SLD導出・失敗による否定・エルブランモデル。
論理プログラムは部分帰納関数の表現まで使える...。
＞量子計算機とかDNA計算機とかだと、一階論理ではなくなる？
拡張する必要はあるでしょうね。
