 #логика #шизофрения #юмор
Рассмотрим два высказывания: 1. Земля плоская. 2. Оба этих высказывания (1 и 2) - ложны. Высказывание 2 - либо ложно, либо истинно. Однако если оно истинно, значит должно быть ложным: получаем противоречие, и, следовательно, высказывание 2 - ложно. Если оно ложно, значит оба высказывания не являются ложными, следовательно, по крайней мере одно из них является истинным. Как мы только что показали, второе высказывание не может быть истинным, и, следовательно, истинным является первое высказывание. Следовательно, Земля плоская. Выкусите, шаропоклонники! 10 февраля 2021
2 |
|
|
|
C17H19NO3
Кстати, есть аргументированное мнение, что "актуальная бесконечность" — не математический объект, а просто херня. С физической точки зрения - вполне возможно. Но для формальной системы все, для чего определены правила преобразования, - в общем, вполне законно. При желании туда хоть Винни-Пуха запихать можно. |
|
 |
|
|
BrightOne
> для формальной системы все, для чего определены правила преобразования, - в общем, вполне законно Так там проблема в том, что именно правило преобразования — а конкретно, перехода к гипотетическому "актуально бесконечному элементу" — как таковое не определено, он просто постулируется по принципу: а вот тут мы представим, что элементы нашего бесконечного множества вдруг закончились и остался только последний бесконечный. Если ограничиваться только правилами преобразования (или, в более широком смысле, отображения) — остаётся только потенциальная бесконечность. Ну или, как упомянуто выше, аксиоматически ограничить правила рекурсивных отображений — но всё равно это ограничение не будет напрямую следовать из самих правил. |
|
|
|
|
C17H19NO3
Так там проблема в том, что именно правило преобразования — а конкретно, перехода к гипотетическому "актуально бесконечному элементу" — как таковое не определено Это да, но, в принципе, формальная система запросто может состоять из несвязанных преобразованиями элементов. Ее полезность, конечно, под вопросом, но это уже другое дело. |
|
Включить тёмную тему
Популярное
VKontakte
WhatsApp
Telegram
Отключить рекламу
