Новое сообщение в форум Образование и наука

Форум	Образование и наука
Тема	Как правильно задавать вопросы

Здравствуйте, B0FEE664, Вы писали:

BFE>Здравствуйте, Sinclair, Вы писали:

S>>Вернёмся в булево пространство. С каких борщей система булевых уравнений вдруг начинает объявляться "недостоверной", или там "порочным кругом"? Совершенно нормальная штука - в зависимости от коэффициентов, система может иметь от 0 до 4 решений. В нашем случае решений 0:
S>>[code]
S>>x = y
S>>y = ~x
S>>[/code]
S>>Не вижу тут совершенно ничего особенного.
BFE>Чтобы получить 0 решений придётся либо опереться на 'Закон исключённого третьего', либо доказательство нуля решений станет если не невозможным, то очень сложным.

BFE>При это следует понимать, что при введении формализма существует произвол в выборе аксиом. Гёдель в своей [url=https://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%93%D1%91%D0%B4%D0%B5%D0%BB%D1%8F_%D0%BE_%D0%BD%D0%B5%D0%BF%D0%BE%D0%BB%D0%BD%D0%BE%D1%82%D0%B5]известной теореме[/url], нам намекает, что раз у нас нет противоречий, то видимо есть такое утверждение в рамках нашего формализма, которое, находясь в этих рамках, не удастся ни доказать, ни опровергнуть. И тут возникает философский вопрос, что лучше: иметь противоречие в теории или иметь утверждения, которые мы не можем ни доказать, ни опровергнуть. Мне кажется, что если мы знаем все возможные противоречия и умеем их выявлять, то для применения такая теория удобнее, чем та, где есть недоказуемые утверждения.

BFE>(Ещё замечу, что формализм 'Закона исключённого третьего' сам по себе не очень-то формален, в том смысле, что не всегда понятно, что следует понимать под отрицанием утверждения. DEMON HOOD иногда пытается донести эту мысль до читателей форума.)

S>>Почему-то в линейной алгебре никто не кричит "парадокс! Я нашёл противоречие - x равен x + 2! Здание математики пошатнулось!".
BFE>Про линейную алгебру не скажу, а вот, например, 'Наивную теорию множеств' стали пересматривать из-за обнаруженного в ней парадокса.

Теги:

Введите теги разделенные пробелами. Обрамляйте в кавычки словосочетания с пробелами внутри, например: "Visual Studio" .NET

Имя, пароль: Загрузить Нравится наш сайт? Помогите его развитию!
Отключить смайлики Получать ответы по e-mail