コンピューターによる定理の自動証明

コンピューターによる定理の自動証明at MATH

コンピューターによる定理の自動証明 - 暇つぶし2ch263:１３２人目の素数さん
06/01/19 03:46:05
>>245
自然数があるのに命題論理とは・・・。
248の言うとおり、ＲＥだと言っているだけだよ。
いい加減な知識に基づいて考えるのは危険だよ。