Можно ли вычислить всё? О границах вычислимости и природе интеллекта

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