Алгоритмы и вычислимость в человеческом познании = Algorithms and computability in human knowledge / Ю. Л. Ершов, В. В. Целищев; Под ред. К. Ф. Самохвалова, А. С. Морозова; Институт математики СО РАН (Новосибирск). — Новосибирск: Изд-во СО РАН, 2012. — 504 с. — (Интеграционные проекты СО РАН). — Библиогр.: с. 490-497. — ISBN 978-5-7692-1248-8: 10.00.
Настоящая монография представляет собой итог исследования по проблеме алгоритмизации мышления, которая часто увязывается с распространенной формулировкой "может ли машина мыслить?" В монографии представлены практически все аспекты проблемы понимания деятельности, связанной с вычислимостью и компьютерными методами исследования возможностей мышления. Дано сопоставление вычислимости и невычислимости в контексте методов познания законов природы. Описан математический аппарат вычислимости, в частности, представлена теория рекурсивных функций. Процесс алгоритмизации мышления представлен в терминах минимальных средств строгого математического доказательства. Понятие эффективной вычислимости обсуждено в связи со статусом тезиса Черча, который долгое время был предметом дискуссий. Монография предназначена специалистам в области компьютерных исследований, математической логики, философии, логики и методологии науки.