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