Статья 1948

Помните пример с проектированием автомата. Допустим, мы задались целью формализовать прикладной инженерно-конструктивный аспект проектирования. Поскольку сейчас теория конечных автоматов хорошо развита, это вполне осуществимо, что и доказано уже на практике.
Однако существующие методики не дают возможности формализовать целеполагание и, следовательно, первичное обнаружение, определение самой возможности использовать для проектирования ту или иную методику. Единой, универсальной методики нет, как и универсального машинного языка.
Итак, системы. Познание - система, Знания - система, порождающие структуры - системы, человеческая деятельность - тоже система, причем включающая все предыдущие как элементы.
Формальные методы не могут стронуть с места генерировать процессы Познания. Их инициатором всегда остается Человек.