Алгоритмы и вычислимость в человеческом познании
- Добавил: Igor1977
- Дата: 7-06-2022, 08:54
- Комментариев: 0
Название: Алгоритмы и вычислимость в человеческом познании
Автор: Ершов Ю.Л., Целищев В.В.
Издательство: Новосибирск: Изд-во Сибирского отд-ния Российской акад. наук
Год: 2012
Формат: pdf
Страниц: 505
Размер: 10 mb
Язык: русский
Настоящая монография представляет собой итог исследований по проблеме алгоритмизации мышления, которая часто увязывается с распространенной формулировкой «может ли машина мыслить?» В монографии представлены практически все аспекты проблемы понимания деятельности, связанной с вычислимостью н компьютерными методами исследования возможностей мышления.
Дано сопоставление вычислимости и невычислимости в контексте методов познания законов природы. Описан математический аппарат вычислимости, в частности, представлена теория рекурсивных функций. Особое внимание уделено связи этой теории с программой оснований математики Л- Гильберта - финитизмом. Процесс алгоритмизации мышления представлен в терминах минимальных средств строгого математического доказательства. При этом обнаружена проблема обозримости доказательства, а также вычислимости как средства получения доказательства. Понятие эффективной вычислимости обсуждено в связи со статусом тезиса Черча, который долгое время был предметом дискуссий.
Монография предназначена специалистам в области компьютерных исследований, математической логики, философии, логики и методологии науки.
Внимание
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.