物理法則が絶対に真であることを数学的に証明できない以上コンピュータでは証明したことにならんだろ。