Евклид в Нюрнберге
Любой тезис — разновидность суждения. Каждое суждение — проявление здравого смысла. Суждения общеупотребительны, но оглашать нечто противоречащее расхожим пословицам, поговоркам и притчам — моветон.
Математика принадлежит человеку, в то время как формализация — удел компьютера. Вычислительная машина правит в чертогах формализации. Следовательно, любая претензия на универсальность формализации противоречит наиболее древнему и благородному математическому суждению — тезису Евклида, который гласит: «В математику нет царских путей».
30 декабря 2007
| English Page | Russian Page |