Предположим, что доказано, что А верно. При этом наивная "проверка" этого утверждения в лоб займет несколько триллионов лет. Сочтете такую проверку экспериментом? Готовы провести ближайший триллион лет за вычислением, результат которого заранее известен?
Если же что-то не доказано, то вполне можно проводить какие-то численные эксперименты в надежде найти контр-пример. Если поиск контр-примера организован разумно — это даже будет вполне себе наукой, и даже вполне себе математикой.
no subject
Предположим, что доказано, что А верно. При этом наивная "проверка" этого утверждения в лоб займет несколько триллионов лет. Сочтете такую проверку экспериментом? Готовы провести ближайший триллион лет за вычислением, результат которого заранее известен?
Если же что-то не доказано, то вполне можно проводить какие-то численные эксперименты в надежде найти контр-пример. Если поиск контр-примера организован разумно — это даже будет вполне себе наукой, и даже вполне себе математикой.