Известно же, что "неважно как голосуют, важно как подсчитают". Поэтому важно не то, что соглашение невероятно, а важно то, что кто-то не понимает, что "это соглашение" ... ;-)
Он задаст следующие вопросы: 1) Что есть доказательство? 2) Что есть те отправные начала, благодаря которым строится та семантика, в которой реализуется доказательство?
Тогда если ... математики смогут безупречно прояснить принцип "доказательства" и еще ... под "доказательством в математике" будет подразумеваться операция или комплекс операций, ну никаким образом не выходящий за пределы математики ... то все так и будет :)
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2011-09-23 02:26 pm (UTC)no subject
Date: 2011-09-23 05:51 pm (UTC)no subject
Date: 2011-09-23 07:55 pm (UTC)no subject
Date: 2011-09-24 11:07 am (UTC)Он задаст следующие вопросы:
1) Что есть доказательство?
2) Что есть те отправные начала, благодаря которым строится та семантика, в которой реализуется доказательство?
Тогда если ... математики смогут безупречно прояснить принцип "доказательства" и еще ... под "доказательством в математике" будет подразумеваться операция или комплекс операций, ну никаким образом не выходящий за пределы математики ... то все так и будет :)