[Сергей Назаревич]

Сообщение от Djay

И на каком основании можно сделать обобщение одной частной теории на все бытие? Не вижу ровно никаких предпосылок "иметь все основания".

Смысл есть и вот почему.
В основе нашей математики лежат принципы Формальной Логики.
Их всего пять и сформулированы они еще греками.
Что это такое? ... по сути это формализация нашего здравого смысла.

Так ват в прошлом столетии было доказано, что любые построения, которые базируются на этих принципах ведут к противоречию.
Собственно, с того времени многие ищут как так нужно преобразовать эти пять принципов, чтоб противоречия не возникало.

Если брать во внимание Принцип Необпределенности Гейзенберга,
если брать во внимание труды Иммануила Канта, где он тоже работал над этой проблемой, ... похоже не правильным (не точными) являются первые два принципа:

1. Прежде чем, про что-то говорить, нужно определить понятия, о которых мы говорим.
2. Любое высказывание является или истинным, или ложным.

Собственно, во второй пункт можно было бы добавить ...или неопределено, но тогда это будет противоречить первому принципу...

Определенный вариант дает Кант:
"Вселенная познаваема на столько, на сколько мы её можем познать".

Вобщем, вопрос таков : можем ли мы говорить о высказывании, которое еще является неопределенным?
(или на уровне коэна -- есть ли ответ у невысказаного?)


....кстати, из всех этих предпосылок и появилось объектно-ориентированое программирование!