Виталий Валентинович Целищев

Задумывались почему компьютер не может доказать любовь В этой философско математической книжке автор сравнивает наш мозг и алгоритм. Через теоремы Геделя он показывает две позиции: одни верят что сознание выше и всегда найдет лазейку другие уверены что все сводится к вычислениям. Книга объясняет что такое алгоритмическая вычислимость где кончается формальное доказательство и начинается интуиция как рождаются понятия и чем машинное знание отличается от человеческого. Читается непросто но уважение и взрыв мозга обеспечены