1. Кризис программирования

"Программа выполнила допустимую операцию, но будет закрыта по умолчанию".
Из программистского юмора

В. А. Успенский (Theoretical Computer Science 130,1994, pp.273-238.), перевод А. Иличевского
источник: http://metaphysis.narod.ru/things/tavrov/alexandrian/a_p.htm

1. Постановка задачи

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