Вопрос о связности доказательного мира
ivanov_petrov — 14.05.2017 Насколько я понимаю, доказательство является таковым лишь в том случае, если можно гарантировать его замкнутость - доказательство выводится из конечного числа утверждений и не использует ничего со стороны. Если используется что-то помимо строго оговоренного набора утверждений, это не доказательство (не строгое доказательство...).Отсюда утверждение: доказательства возможны лишь в фасеточном (атомарном...) мире, где связность невелика и есть изолированные участки. Достаточно связный мир подразумевает отсутствие доказательств.
Мне бы хотелось понять, насколько это так (не так) и как с этим обходятся те, кому подвластны доказательства.
Видимо, надо сказать о контексте. Разумеется, в модельных целях можно придумать атомарный мир невзаимодействующих событий. Но интересует, например, "реальный" мир, в котором взаимодействия существенны. Тогда возникает вопрос: насколько верно относить модели для "атомарного" мира независимых событий к миру, который устроен совсем иначе.
|
</> |