Программирование как контракт с дьяволом

[fat_yankey]

The purpose of a program is informal, often unstated, criterion and the transition from informal to formal objects must forever be unformalized, lest we caught in the paradox of assuming the formalization of an object we know only informally.

Social processes and proofs of theorems and programs
DeMillo, Lipton, Perils
Не проси богов ни о чем,

Comments

[semonsemenich]

Замечательно. К теме формального подхода к исполнению желаний ( столь часто встречающегося в мистической литературе), мне кажется, тесно примыкает тема формального исполнения предсказаний и пророчеств ("Когда придет твой смертный, час Как твой Бирнамский лес"), где героя тоже ожидает облом.
Однако коллега выше верно подметил: компьютер специально не изыскивает бреши в формулировках. Он предсказуем, и правила его поведения зарене оговорены.

[aintlion]

Это с точки зрения программиста, оговорены и заранее известны.А с точки зрения пользовaтеля, отнюдь.

[semonsemenich]

Не очень понял тонкость.. Но не суть. Главное, что коллега ok_66 прав: диавол изначально заточен на кидалово. Трудность формализации для него всего лишь предлог этот кидок реализовать. А люди на работе злого намерения не имеют. И трудность формализации для них просто очередная рутинная трудность, которую надо преодолевать совместными усилиями.

[nealar]

люди на работе злого намерения не имеют
Принцип Хайнлайна, да. Мне в текущем проекте потребовалось 6 месяцев, чтобы проверить, что да, действительно не имеют.

[fat_yankey]

"А примешь ты смерть от коня своего". Да, согласен. Темы сходные.

[dontpanic911]

так и жизнь такая же, примерно. состав мыслей сегодня, процентов на 90 предсказывает реальность завтра)