1 Большинство философов, логиков, кибернетиков сходятся в том, что

в процессе познания мира сфера формализованного мышления будет рас-

ширяться беспредельно.

В. В. Бирюков и В. С. Тюхтин, в частности, пишут: ≪Граница между

формально-логической частью мышления и его интуитивно-содержательной

стороной относительна и изменчива... Она отодвигается все дальше, пре-

доставляя все большие возможности формализации≫ (≪О философской проб-

лематике кибернетики≫ в кн.: ≪Кибернетика. Мышление. Жизнь≫, М., 1969,

стр. 104).

Имея в виду, что формализованное мышление в принципе всегда мо-

жет быть моделировано машиной, А. Лернер пишет: ≪Прогноз о том, что

определенный тип задач никогда не сможет быть решен машинами, либо

несостоятелен, либо означает неразрешимость этих задач и для человека≫

(≪Начала кибернетики≫, М., 1967, стр. 218).__