я воспринимаю теоремы, как логические мосты между условиями и выводами. Если условие, то вывод. Почему? вот доказательство.
В этом смысле пофик, верно ли условие, насколько оно точно доказано, насколько это аксиома, или это наблюдение, или предположение или что кто вообще про это думает. Про это можно отдельно поговорить. Но суть теоремы - именно переход от условия к выводу. Это не про корректность условия per se.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2021-05-22 04:36 pm (UTC)В этом смысле пофик, верно ли условие, насколько оно точно доказано, насколько это аксиома, или это наблюдение, или предположение или что кто вообще про это думает. Про это можно отдельно поговорить. Но суть теоремы - именно переход от условия к выводу. Это не про корректность условия per se.