Цитата:
Сообщение от techni
"в науке столько науки, сколько в ней математики".
|
Это сказал Леонардо Да Винчи. Согласен с этим его суждением, но это всё же суждение а не определение. А я просил определение.
Цитата:
Сообщение от techni
Непосредственно в технике - данная эквивалентность не даст ничего. А вот полученные с её помощью результаты теории типов вполне могут найти своё воплощение в разработке языков программирования и компиляторов, которые, в свою очередь, позволят создать программы, которые чего-то полезное технике таки дадут
|
Математика в настоящее всемя ушла весьма далеко. Многие её выводы в настоящее время пока не нашли приложения в реальных системах. А многие и не найдут. В чём ценность высокого уровня формализаций?