13/10/08 17:39:04.75 .net
>>206
>同じことを君（人間）がやってもそれこそ効果は半減する。
残念ながら、その形式言語の表現力がFOL以上であれば、
(非定理を含む)あらゆる式を自動的に証明可能なアルゴリズムは存在しない。
13/10/08 17:39:04.75 .net
>>206
>同じことを君（人間）がやってもそれこそ効果は半減する。
残念ながら、その形式言語の表現力がFOL以上であれば、
(非定理を含む)あらゆる式を自動的に証明可能なアルゴリズムは存在しない。