Объясните суть теорем Гёделя о неполноте. Как они демонстрируют, что в любой достаточно мощной формальной системе существуют истинные утверждения, которые нельзя доказать внутри самой системы? Обсудите аргументы Люсьена Мерхар-Смит и Роджера Пенроуза о том, что человеческое сознание способно выходить за пределы алгоритмических вычислений, и как это влияет на потенциал создания полноценного ИИ.