Grigory M (![[info]](http://l-stat.livejournal.com/img/userinfo.gif){kind=small} jedal) wrote in furia_krucha, |
Кажется, что как раз в 20 веке идея правильного языка, на котором доказательства сразу очевидны, как раз широко распространилась в профессиональной математике.
It has always been an article of faith in Moscow that mathematics is fundamentally not random—there is some grand scheme of things, The Book as it is sometimes called, slowly being revealed by the work of generations of mathematicians, the ideal realm where all the definitions are ``correct,'' all the maps are natural, and the proofs are reduced to the level of tautology.http://www.ams.org/distribution/mmj/vol7-4-2
