Проверьте свои предпосылки

[yurakolotov]

Возможность ответа на любой проблематичный вопрос зависит, в первую очередь, от точности формулировки понятий.

Вот, скажем, когда кончилась война, 8го или 9го? Кого спроси, у каждого своё мнение.
А ответ чрезвычайно прост.
Вторая Мировая - 8го.
Великая Отечественная - 9го.
И никакого противоречия тут нет.

"По определению существования..." и т.д.

Comments

[warlen]

Только тогда "Вторая Мировая война в Европе", потому что война с Японией завершилась 2 сентября.

[yurakolotov]

Верно. Не стал этого писать, потому что тогда можно было бы ещё и "лесных братьев" учитывать.

[raf_sh]

Очень сомневаюсь в истинности начального высказывания:

"Первая теорема Гёделя утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Вторая теорема Гёделя утверждает, что если формальная арифметика непротиворечива, то в ней невыводима формула, содержательно утверждающая непротиворечивость этой арифметики".

[yurakolotov]

Согласен. Меняю на "зависит, в первую очередь, от".

Маловероятно, чтобы гуманоиды, спорящие на подобные темы, обладали способностью понять теорему Гёделя, но кто знает. Бывают же чудеса.

[raf_sh]

Упоминаемые гуманоиды с легкостью могут продемонстрировать (и демонстрируют) свой интеллект, эксплуатируя вариации той же темы: "В противоречивой системе аксиом, используя формально безупречные логические приемы, можно доказать как любое утверждение, так и ему противоположное". Другими словами, "Импликация как булева функция ложна лишь тогда, когда посылка истинна, а следствие ложно", т. е. если посылка ложна, то выведение из нее истинного или ложного следствия есть в любом случае истина. Что мы и наблюдаем каждый день в окружающей безупречно рассуждающей среде.

[yurakolotov]

Я, кстати, никогда не мог понять смысла того, что странная функция "f(a, b)=0 iff a=0, b=1" называется словом "импликация" или "следует".

Вот "и" (оно же произведение) понимаю. "Или" (оно же сумма) понимаю, пусть даже с дополнительным правилом, что 1+1=1. А что означает фраза "из лжи может следовать как истина, так и ложь"?