Иванов-Петров Александр (ivanov_petrov) wrote,
Иванов-Петров Александр
ivanov_petrov

Вопрос о связности доказательного мира

Насколько я понимаю, доказательство является таковым лишь в том случае, если можно гарантировать его замкнутость - доказательство выводится из конечного числа утверждений и не использует ничего со стороны. Если используется что-то помимо строго оговоренного набора утверждений, это не доказательство (не строгое доказательство...).
Отсюда утверждение: доказательства возможны лишь в фасеточном (атомарном...) мире, где связность невелика и есть изолированные участки. Достаточно связный мир подразумевает отсутствие доказательств.

Мне бы хотелось понять, насколько это так (не так) и как с этим обходятся те, кому подвластны доказательства.

Видимо, надо сказать о контексте. Разумеется, в модельных целях можно придумать атомарный мир невзаимодействующих событий. Но интересует, например, "реальный" мир, в котором взаимодействия существенны. Тогда возникает вопрос: насколько верно относить модели для "атомарного" мира независимых событий к миру, который устроен совсем иначе.
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your IP address will be recorded 

  • 82 comments
Previous
← Ctrl ← Alt
Next
Ctrl → Alt →
Previous
← Ctrl ← Alt
Next
Ctrl → Alt →