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