Известно же, что "неважно как голосуют, важно как подсчитают". Поэтому важно не то, что соглашение невероятно, а важно то, что кто-то не понимает, что "это соглашение" ... ;-)
Он задаст следующие вопросы: 1) Что есть доказательство? 2) Что есть те отправные начала, благодаря которым строится та семантика, в которой реализуется доказательство?
Тогда если ... математики смогут безупречно прояснить принцип "доказательства" и еще ... под "доказательством в математике" будет подразумеваться операция или комплекс операций, ну никаким образом не выходящий за пределы математики ... то все так и будет :)
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
no subject
no subject
no subject
Он задаст следующие вопросы:
1) Что есть доказательство?
2) Что есть те отправные начала, благодаря которым строится та семантика, в которой реализуется доказательство?
Тогда если ... математики смогут безупречно прояснить принцип "доказательства" и еще ... под "доказательством в математике" будет подразумеваться операция или комплекс операций, ну никаким образом не выходящий за пределы математики ... то все так и будет :)