|
Тема |
Re: Verno li be da eba?A stiga be kopil!!! [re: T®lGGE®] |
|
Автор |
Mopдpeд (seeker) |
|
Публикувано | 05.10.01 14:22 |
|
|
Точно така.
Важен е наборът от аксиоми, които се приемат за истинни. В контекста на задачата петлите снасят яйца, макар че в контекста на реалния живот да не е така. Работата е, че когато решаваш задачи, не само логически, а от какъвто и да е вид, се работи с модел на света, с негово опростено и формализирано отражение. В тази задача моделът предвижда петлите да снасят яйца и толкоз. Ако искам мога да кажа, че петлите в модела всъщност са женски алигатори в реалния свят, и покривът не е покрив ами е отоплителна тръба в терариума и т.н. Важното е, че в самата задача работиш с приетите аксиоми и формализми без да се интересуваш от реалното състояние на нещата.
Т.е. правим така:
Реален свят <---формализиране---> Модел <--извеждане на правила от аксиомите на модела--> Решение <--деформализиране-->Интерпретиран резултат
There's a crack, a crack in everything, that's how the light gets in...
|
| |
|
|
|