Цитата:
Сообщение от badalek
techni, дайте мне определение науки.
Что даст эта эквивалентность в технике?
|
Не знаю кто сказал, но как большому почитателю идеологии GNU мне очень нравится следующее рекурсивное определение: "в науке столько науки, сколько в ней математики".
Непосредственно в технике - данная эквивалентность не даст ничего. А вот полученные с её помощью результаты теории типов вполне могут найти своё воплощение в разработке языков программирования и компиляторов, которые, в свою очередь, позволят создать программы, которые чего-то полезное технике таки дадут
