» » » Юрий Ершов - Алгоритмы и вычислимость в человеческом познании

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

VerClub | 0 комментариев | 25 просмотров
10
02
2021
Юрий Ершов - Алгоритмы и вычислимость в человеческом познании
0 голосов
Книга: Алгоритмы и вычислимость в человеческом познании
Количество страниц: 505
ISBN: 978-5-7692-0669-6, 978-5-7692-1248-8
Год написания: 2012
Возрастное ограничение: 0+
Книжная серия:

Описание книги:

Настоящая монография представляет собой итог исследований по проблеме алгоритмизации мышления, которая часто увязывается с распространенной формулировкой «может ли машина мыслить?» В монографии представлены практически все аспекты проблемы понимания деятельности, связанной с вычислимостью и компьютерными методами исследования возможностей мышления.

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

Монография предназначена специалистам в области компьютерных исследований, математической логики, философии, логики и методологии науки.

Поделиться ссылкой


Прокомментировать
Вопрос:* 10+45
Кликните на изображение чтобы обновить код, если он неразборчив
Введите код с картинки:*