обобщение форм различных по содержанию процессов, абстра-
гирование этих форм от их содержания. Однако, как показал ав-
стрийский логик и математик
Гедель
, в содержательной теории
всегда остается невыявленный неформализуемый остаток. Все
более углубляющаяся формализация содержания знания нико-
гда не достигает абсолютной полноты, ибо никогда не прекра-
щается развитие (изменение) предмета познания и знаний
о нем (то есть нет такой формулы, которая бы содержала в себе
«в снятом виде» все будущее развитие предмета рассуждения).
Это означает, что формализация внутренне ограничена в своих
возможностях. Доказано, что всеобщего метода, позволяющего
любое рассуждение заменить вычислением («сосчитаем», -как
говорил Лейбниц, здесь не проходит), не существует.
Достарыңызбен бөлісу: 
