Как теорема Гёделя о неполноте связана с доказательством невозможности существования совершенного искусственного интеллекта?

Теорему Гёделя о неполноте формальных систем используют в качестве аргумента против возможности создания искусственного интеллекта. scorcher.ru Смысл теоремы сводится к невозможности формализации содержательного понятия истины. scorcher.ru www.researchgate.net

Из этого следует, что невозможно создать машину, способную различать истину и ложь столь же эффективно, как это делает человек. scorcher.ru Преимущество человека перед машиной заключается в том, что он способен в любых случаях распознавать истинность определённых предложений, а машина делать это не способна. scorcher.ru

Кроме того, теорема Гёделя показывает, что любая формальная теория либо неполна, либо противоречива. siriusmag.ru Это означает, что компьютеру всегда можно поставить задачу, которую он не сможет решить, не уходя в бесконечный перебор. siriusmag.ru

Однако стоит отметить, что вопрос о возможности или невозможности математического описания сознания и появления его у машин остаётся открытым. siriusmag.ru Сегодня на фоне успехов генеративных моделей искусственного интеллекта (ИИ) этот аргумент оспаривают. siriusmag.ru