- 92 名前：１３２人目の素数さん mailto:sage [2012/01/04(水) 23:43:09.11 ]
- >>31
>今の計算機の原理が変わらない限り一階論理がなくなることはない。
これは一階論理の代わりにチューリングマシンやλ演算でも良いのですよね？
>>88
ハード計算とソフト計算はあなたが考えた独自用語ですよね？
ソフト計算とはヒューリスティクスという意味でしょうか？
>だから命題論理や一階述語論理の応用である論理プログラムもハード計算になる。
チューリング等価なプログラミング言語であるprologで
あなたが示したすべての論理をソフトウェアとして実現できます。
だから一階述語論理の応用はハード計算とは言えません。
ソフト計算に分類した論理を使えばヒューリスティクスを自然に表現できる、
という主張なら納得できるのですが。
