Алгоритмы и вычислимость в человеческом познании
Об издании
Настоящая монография представляет собой итог исследований по проблеме алгоритмизации мышления, которая часто увязывается с распространенной формулировкой «может ли машина мыслить?» В монографии представлены практически все аспекты проблемы понимания деятельности, связанной с вычислимостью и компьютерными методами исследования возможностей мышления. Дано сопоставление вычислимости и невычислимости в контексте методов познания законов природы. Описан математический аппарат вычислимости, в частности, представлена теория рекурсивных функций. Особое внимание уделено связи этой теории с программой оснований математики Д. Гильберта - финитизмом. Процесс алгоритмизации мышления представлен в терминах минимальных средств строгого математического доказательства. При этом обнаружена проблема обозримости доказательства, а также вычислимости как средства получения доказательства. Понятие эффективной вычислимости обсуждено в связи со статусом тезиса Черча, который долгое время был предметом дискуссий. Монография предназначена специалистам в области компьютерных исследований, математической логики, философии, логики и методологии науки.
Библиографическая запись
Ершов Ю.Л. Алгоритмы и вычислимость в человеческом познании / Ершов Ю.Л., Целищев В.В.. — Новосибирск : Сибирское отделение РАН, 2012. — 504 c. — ISBN 978-5-7692-1248-8. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/32820.html (дата обращения: 26.04.2024). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Окулов С.М., Лялин А.В., Пестов О.А., Разова Е.В.
(Лаборатория знаний)
Алексеев В.Е., Таланов В.А.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Костюкова Н.И.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Скворцов С.В., Хрюкин В.И.
(Рязанский государственный радиотехнический университет)
Медведев Д.М.
(Ай Пи Ар Медиа)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Корсакова Л.Г.
(Балтийский федеральный университет им. Иммануила Канта)