Предположим, что доказано, что А верно. При этом наивная "проверка" этого утверждения в лоб займет несколько триллионов лет. Сочтете такую проверку экспериментом? Готовы провести ближайший триллион лет за вычислением, результат которого заранее известен?
Если же что-то не доказано, то вполне можно проводить какие-то численные эксперименты в надежде найти контр-пример. Если поиск контр-примера организован разумно — это даже будет вполне себе наукой, и даже вполне себе математикой.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2022-01-02 09:18 pm (UTC)Предположим, что доказано, что А верно. При этом наивная "проверка" этого утверждения в лоб займет несколько триллионов лет. Сочтете такую проверку экспериментом? Готовы провести ближайший триллион лет за вычислением, результат которого заранее известен?
Если же что-то не доказано, то вполне можно проводить какие-то численные эксперименты в надежде найти контр-пример. Если поиск контр-примера организован разумно — это даже будет вполне себе наукой, и даже вполне себе математикой.