RU EN
RU EN

Целищев В.В.

Книги автора в библиотеке «Книгафонд»

Алгоритмы и вычислимость в человеческом познании Ершов Ю.Л., Целищев В.В.

Алгоритмы и вычислимость в человеческом познании

В книге рассмотрена проблема понимания деятельности, связанной с вычислимостью и компьютерными методами исследования возможностей мышления. Дано сопоставление вычислимости и невычислимости в контексте познания законов природы. Описан математический аппарат вычислимости, представлена теория рекурсивных функций. Особое внимание уделено связи этой теории с программой оснований математики Д. Гильберта – финитизмом.

Все авторы