![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Взаимопонимание
30/01/2009 14:46Тут меня критиковали. Говорили, что в области науки и программирования понимания можно достичь весьма успешно.
Я собственно не спорю. За исключением того, что области эти, как наука, так и программирование соотносятся с искуственными моделями, с упрощенными конструкциями. А когда дело доходит до столкновения с реальностью, даже самой простой, то формальный язык оказывается таким же недостаточным как и любой другой. Или даже менее достаточным.
___
Посылает жена программиста в магазин:" Купи батон колбасы, а если будут яйца, возьми десяток".
Программист в магазине : "Скажите пожалуйста, в продаже яйца есть?"
Продавщица: "Есть."
Программист: "Тогда дайте мне десять батонов колбасы!"
Я собственно не спорю. За исключением того, что области эти, как наука, так и программирование соотносятся с искуственными моделями, с упрощенными конструкциями. А когда дело доходит до столкновения с реальностью, даже самой простой, то формальный язык оказывается таким же недостаточным как и любой другой. Или даже менее достаточным.
___
Посылает жена программиста в магазин:" Купи батон колбасы, а если будут яйца, возьми десяток".
Программист в магазине : "Скажите пожалуйста, в продаже яйца есть?"
Продавщица: "Есть."
Программист: "Тогда дайте мне десять батонов колбасы!"
