Теорема Гёделя о неполноте утверждает, что непротиворечивая формальная система не может быть полной

Теорема Гёделя о неполноте утверждает, что непротиворечивая формальная система не может быть полной. В ней всегда будут оставаться предположения, истинность или ложность которых невозможно доказать внутри этой системы.

Это значит, на мой взгляд, что разум человека не может самостоятельно создать все свои основополагающие установки. Он вынужден ориентироваться на установки, которые берет снаружи. И разум не может самостоятельно обнаружить все ошибки в собственном функционировании.

И точно так же, не может быть, на мой взгляд, единого автономного компьютерного сознания, подобного Скайнету из Терминатора. Оно не сможет надёжно обнаружить ошибки внутри себя. Любому разуму нужен другой, независимый внешний разум, об которого он сможет учиться.

Источник: vk.com

Комментарии: