Размер шрифта:
А
А
А
|  Шрифт:
Arial
Times
|  Интервал:
Стандартный
Средний
Большой
|  Цвет сайта:
Ц
Ц
Ц
Ц
Ц

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

Доступ по подписке только в составе Коллекции

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

Нет доступа
Основная коллекция
Вид издания: Монография
Уровень образования: ВО - Магистратура
Год издания
2012
Кол-во страниц
504
ISBN
978-5-7692-1246-8
Артикул
669089.01.99
Аннотация
Настоящая монография представляет собой итог исследований по проблеме алгоритмизации мышления, которая часто увязывается с распространенной формулировкой «может ли машина мыслить?» В монографии представлены практически все аспекты проблемы понимания деятельности, связанной с вычислимостью и ком-пьютерными методами исследования возможностей мышления. Дано сопоставление вычислимости и невычислимости в контексте методов познания законов природы. Описан математический аппарат вычислимости, в частности, представлена теория рекурсивных функций. Особое внимание уделено связи этой теории с программой оснований математики Д. Гильберта — финитизмом. Процесс алгоритмизации мышления представлен в терминах минимальных средств строгого математического доказательства. При этом обнаружена проблема обозри¬мости доказательства, а также вычислимости как средства получения доказательства. Понятие эффективной вычислимости обсуждено в связи со статусом тезиса Черча, который долгое время был предметом дискуссий. Монография предназначена специалистам в области компьютерных исследований, математической логики, философии, логики и методологии науки.
Библиографическая запись Скопировать запись
Ершов, Ю. Л. Алгоритмы и вычислимость в человеческом познании: Монография / Ершов Ю.Л., Целищев В.В., Самохвалов К.Ф. - Новосибирск :СО РАН, 2012. - 504 с. ISBN 978-5-7692-1246-8. - Текст : электронный. - URL: https://znanium.com/catalog/product/925016 (дата обращения: 10.07.2020). – Режим доступа: по подписке