Проектирование

Машины теорий. Структура линейного текста и ее альтернативы

Пишет chief_editor,

Алексей Седов, 1997

Уважаемые Господа! Хочу предложить Вам (в сокращении) фрагмент моей старой статьи по ряду проблем построения программ. Статья была написана по другому поводу, чем предлагавшиеся мною ранее материалы, но, надеюсь, она немного прояснит то, что я понимаю под введенными ранее понятиями. Полагаю, ее чтение не оставит сомнений в том, что я не считаю, будто люди мыслят многомерными матрицами. В настоящий момент мне трудно предложить какой-либо иной способ ответить на возникавшие здесь вопросы, чем пересылка в конференцию фрагмента моего архива.

Размышления о путях развития ООП

Пишет Alexey_Donskoy,

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

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

Теорема Геделя о неполноте

Пишет chief_editor,

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

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

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

Страницы

Subscribe to RSS - Проектирование