"Это серьёзный и важный проект, который обещает стать ключевым для чистой математики. У каждой области есть своя “золотая эпоха”, когда были совершены основные открытия. И чаще всего началом таких “золотых эпох” послужило создание новых методологий или возникновение новых технологий. И именно это, я уверен, произойдёт и с областью чистой математики. Если мы сможем направить наши усилия на организацию и упорядочивание математических знаний и построим систему, которая будет использовать их и на их основе создавать вычисляемые формы знания, тогда мы преуспеем не только в сохранении и распространении огромного наследия чистой математики, но также дадим толчок бурному росту данного раздела науки."
from Facebook http://ift.tt/1pKRsGj
via IFTTT
from Facebook http://ift.tt/1pKRsGj
via IFTTT
