'Теперь мы хотим спросить, можно ли доказать, что не может быть доказано, что 2 + 2 = 5? И тут нас подстерегает шок: нет, нельзя. Или для перестраховки: если может быть доказано, что не может быть доказано, что 2 + 2 = 5, тогда может быть доказано также, что 2 + 2 = 5, и математика есть просто нонсенс. На самом деле, если математика - не чепуха, то никакого утверждения формы "X не может быть доказано" не может быть доказано. Поэтому, если математика не чепуха, тогда, хотя не может быть доказано, что 2 + 2 = 5, не может быть доказано, что не может быть доказано, что 2 + 2 = 5. Может быть доказано, что если может быть доказано, что не может быть доказано, что 2 + 2 = 5, тогда может быь доказано, что 2 + 2 = 5.'
2 + 2 = 5?
'Теперь мы хотим спросить, можно ли доказать, что не может быть доказано, что 2 + 2 = 5? И тут нас подстерегает шок: нет, нельзя. Или для перестраховки: если может быть доказано, что не может быть доказано, что 2 + 2 = 5, тогда может быть доказано также, что 2 + 2 = 5, и математика есть просто нонсенс. На самом деле, если математика - не чепуха, то никакого утверждения формы "X не может быть доказано" не может быть доказано. Поэтому, если математика не чепуха, тогда, хотя не может быть доказано, что 2 + 2 = 5, не может быть доказано, что не может быть доказано, что 2 + 2 = 5. Может быть доказано, что если может быть доказано, что не может быть доказано, что 2 + 2 = 5, тогда может быь доказано, что 2 + 2 = 5.'
-
Последний шанс узнать последнее слово об основаниях квантовой механики
До завтра можно бесплатно сказать новую книгу Foundations of Quantum Mechanics, которая вышла в серии Elements in the Philosophy of Physics в 2021…
-
Алекс Розенберг: Редукционизм и механизм
Алекс Розенберг в новой книге Редукционизм и механизм яростно критикует антиредукционистские настроения среди философов биологии. Розенберг в…
-
Самое лучшее описание книги
'Таким образом, мы сделали вывод об эффективности проведённой работы в формирующем эксперименте. Цель достигнута, задачи исследования решены,…
- Post a new comment
- 22 comments
- Post a new comment
- 22 comments
-
Последний шанс узнать последнее слово об основаниях квантовой механики
До завтра можно бесплатно сказать новую книгу Foundations of Quantum Mechanics, которая вышла в серии Elements in the Philosophy of Physics в 2021…
-
Алекс Розенберг: Редукционизм и механизм
Алекс Розенберг в новой книге Редукционизм и механизм яростно критикует антиредукционистские настроения среди философов биологии. Розенберг в…
-
Самое лучшее описание книги
'Таким образом, мы сделали вывод об эффективности проведённой работы в формирующем эксперименте. Цель достигнута, задачи исследования решены,…