15/07/21 21:08:05.31 EThzAfMl.net
>>642
元々君が論理的に不可能だとかいう話始めたんだよね？
＞論理的に無理なんだと思うよ
＞「あらゆるプログラムを作るプログラムは存在するのか」
＞という命題
＞数学的に証明すれば存在しないという答えがでるんじゃないか
結局>>611のこれは間違ってたって事でいいの？
15/07/21 21:08:05.31 EThzAfMl.net
>>642
元々君が論理的に不可能だとかいう話始めたんだよね？
＞論理的に無理なんだと思うよ
＞「あらゆるプログラムを作るプログラムは存在するのか」
＞という命題
＞数学的に証明すれば存在しないという答えがでるんじゃないか
結局>>611のこれは間違ってたって事でいいの？