Ну я тут где-то в соседней цепочке объяснял зачем. Для уточнения и верификации модели картины мира верующего внутри моей собственной картины мира.
Кстати, по-моему по отношению к результатам цепочек доказательств вообще и к теоремам в частности термин "вера" обычно не применяется. В теоремы не "верят", их "знают". А "на веру" принимают системы аксиом, из которых выводят теоремы.
Разные системы, из которых получают разные теоремы.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
branchandroot
Re: Продолжение
Date: 2006-05-07 19:59 (UTC)Для уточнения и верификации модели картины мира верующего внутри моей собственной картины мира.
Кстати, по-моему по отношению к результатам цепочек доказательств вообще и к теоремам в частности термин "вера" обычно не применяется. В теоремы не "верят", их "знают". А "на веру" принимают системы аксиом, из которых выводят теоремы.
Разные системы, из которых получают разные теоремы.