12/09/19 00:54:45.63
>>72
「例外ないことを証明する」ってどうやるんだ？
総当たりするしか無いわけだが、それって未来への総当り検証は事実上不可能なわけでしょう？
ということは証明って常に暫定的なものってわけなのか？
12/09/19 00:54:45.63
>>72
「例外ないことを証明する」ってどうやるんだ？
総当たりするしか無いわけだが、それって未来への総当り検証は事実上不可能なわけでしょう？
ということは証明って常に暫定的なものってわけなのか？
12/09/19 00:54:45.63
>>72
「例外ないことを証明する」ってどうやるんだ？
総当たりするしか無いわけだが、それって未来への総当り検証は事実上不可能なわけでしょう？
ということは証明って常に暫定的なものってわけなのか？