Он задаст следующие вопросы: 1) Что есть доказательство? 2) Что есть те отправные начала, благодаря которым строится та семантика, в которой реализуется доказательство?
Тогда если ... математики смогут безупречно прояснить принцип "доказательства" и еще ... под "доказательством в математике" будет подразумеваться операция или комплекс операций, ну никаким образом не выходящий за пределы математики ... то все так и будет :)
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2011-09-24 11:07 am (UTC)Он задаст следующие вопросы:
1) Что есть доказательство?
2) Что есть те отправные начала, благодаря которым строится та семантика, в которой реализуется доказательство?
Тогда если ... математики смогут безупречно прояснить принцип "доказательства" и еще ... под "доказательством в математике" будет подразумеваться операция или комплекс операций, ну никаким образом не выходящий за пределы математики ... то все так и будет :)