Возможно ли, используя математические методы, оценить "качество" определённого языка программирования или технологии разработки программного обеспечения?
Возможно ли, опираясь на современный уровень развития математики, сформулировать предельно допустимые параметры перспективных языков программирования, которые будут доступны на практике?
Достаточно ли эффективно люди используют математику в повседневной жизни?