Дело же там в другом - любви к Канту, как бы ощущении, что без аромата нафталина никакя одежда - не одежда.
Вопрос о специфике "бесконечности", с моей точки зрения, не в такой степени сложный. Фактически это вопрос о том, оправдано ли введение в математике такой сущности как класс "действительные числа". Если условие "бесконечное" ничем не отличается от условие "конечное", то класс "действительные числа" избыточен, мы объявляем корень из двух рациональным числом и ... тому радуемся. Тем более, что аналоговое моделирование геометрии подсказывает, что эквивалентный отрезок обладает конечным размером.
Так что возражаю против обвинения философии в том, что некоторые, пусть даже большинство ее представителей любят что-то подержанное ;-)
Известно же, что "неважно как голосуют, важно как подсчитают". Поэтому важно не то, что соглашение невероятно, а важно то, что кто-то не понимает, что "это соглашение" ... ;-)
Он задаст следующие вопросы: 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-23 04:55 am (UTC)Вопрос о специфике "бесконечности", с моей точки зрения, не в такой степени сложный. Фактически это вопрос о том, оправдано ли введение в математике такой сущности как класс "действительные числа". Если условие "бесконечное" ничем не отличается от условие "конечное", то класс "действительные числа" избыточен, мы объявляем корень из двух рациональным числом и ... тому радуемся. Тем более, что аналоговое моделирование геометрии подсказывает, что эквивалентный отрезок обладает конечным размером.
Так что возражаю против обвинения философии в том, что некоторые, пусть даже большинство ее представителей любят что-то подержанное ;-)
no subject
Date: 2011-09-23 08:18 am (UTC)no subject
Date: 2011-09-23 09:10 am (UTC)no subject
Date: 2011-09-23 09:26 am (UTC)no subject
Date: 2011-09-23 12:18 pm (UTC)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) Что есть те отправные начала, благодаря которым строится та семантика, в которой реализуется доказательство?
Тогда если ... математики смогут безупречно прояснить принцип "доказательства" и еще ... под "доказательством в математике" будет подразумеваться операция или комплекс операций, ну никаким образом не выходящий за пределы математики ... то все так и будет :)