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