Математическое доказательство сделаное на компе, которое не уважают математики, все равно пробьется и станет стандартом?

Answer 1

Простите, а можно сформулировать вопрос так, чтобы было понятно, о чем он?

Если доказательство, как положено доказательству, выполнено в символьной форме (что в наше время в принципе можно сделать и на компухтере) , то есть только одна причина, по которой его "не уважают математики" - в нем содержатся логические ошибки. Самая типичная ситуация такого рода - в программу некоректно введены аксиомы и/или допущения, сответственно, компухтер, рассуждая правильно, но на основе некоректных аксиом и/или допущений, выдает негодный результат.

Если имет место численное решение задачи, то оно по определению не является абсолютным доказательством.

А еще есть нечеткая логика, которая оперирует не абсолютами (истинно/ложно) , а вероятностями (вероятность того, что утверждение X истинно, исходя из доступных данных составляет Y%) .