А наука доказала, что...
Евгений Селенский
вчера в 23:29
"Теперь мы хотим спросить, можно ли доказать, что не может быть доказано, что 2 + 2 = 5? И тут нас подстерегает шок: нет, нельзя. Или для перестраховки: если может быть доказано, что не может быть доказано, что 2 + 2 = 5, тогда может быть доказано также, что 2 + 2 = 5, и математика есть просто нонсенс. На самом деле, если математика - не чепуха, то никакого утверждения формы «X не может быть доказано» не может быть доказано. Поэтому, если математика не чепуха, тогда, хотя не может быть доказано, что 2 + 2 = 5, не может быть доказано, что не может быть доказано, что 2 + 2 = 5. Может быть доказано, что если может быть доказано, что не может быть доказано, что 2 + 2 = 5, тогда может быmь доказано, что 2 + 2 = 5".
Ершов и Целищев. Алгоритмы и вычислимость в человеческом познании. Сибирское отделение РАН. 2012. стр. 391.
Взял отсюда: https://evgeniirudnyi.livejournal.com/168242.html
И пусть каждый, кто прочитает это, спросит себя: а оно мне надо (c)? Кому нужен этот птичий язык, который даже не все (члены тайного эзотерического общества) математики понимают?
Если ещё хоть кто-нибудь в моём присутствии скажет: "А наука доказала, что...", я за последствия не отвечаю :)