Прагматика человеческих коммуникаций

ПРАГМАТИКА ЧЕЛОВЕЧЕСКИХ КОММУНИКАЦИИ

достичь. Расхождением является теория доказательств или метаматематика. Как подразумевает последнее по­нятие, эта область математики занимается собой, т. е. законами, возможными в математике, и проблемой доказательства, что математика является логически по­следовательной. Следовательно, не удивительно, что метаматематики столкнулись и работали с парадоксаль­ными последовательностями рефлексии задолго до того, как аналитики человеческой коммуникации на­конец осознали их существование. Фактически, рабо­та в этой области восходит к Шредеру (Schroder, 1895), Левенхейму (Lowenheim, 1915) и особенно к Гилберту (Hilbert, 1918). Тогда теория доказательств, или мета­математика, была высоко абстрактным понятием бле­стящей, хотя и небольшой группы математиков, сто­ящих вне основного русла развития математики. Ка­жется, что два события последовательно вызвали по­вышенный интерес к теории доказательств. Одним была публикация в 1931 г. эпохальной работы Гёдела (Godcl) по формально нерешаемым теоремам (56) и статья, описанная профессорско-преподавательским составом Гарвардского университета, как наиболее важное дос­тижение в математической логике этой четверти века (108). Другим событием — почти взрывное появление компьютеров, вскоре после окончания второй миро­вой войны. Эти машины были быстро превращены из строго запрограммированных автоматов в многосто­ронние искусственные организмы, которые начали формулировать фундаментальные проблемы теории доказательств, как только их структурная сложность достигла развития той степени, что они смогли решать их для себя, выбрав одну оптимальную процедуру вы­числения. Другими словами, возник вопрос, возмож­но ли создание компьютеров, которые способны не только следовать программе, но и в то же время спо­собны повлиять на изменения своей программы.

В теории доказательств, понятие процедура при­нятия решения относится к методам нахождения дока-