Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Название:
Раздел:
 
Авторы:
Год выпуска:  до 
Ключевые слова:
   

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

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

Ершов Ю.Л., Целищев В.В.
Новосибирск: Изд-во СО РАН, 2012 г., 504 с., Тираж 330, ISBN 978-5-7692-1246-8 (Вып.40); 978-5-7692-0669-6

(Интеграционные проекты СО РАН; Вып.40 ). Настоящая монография представляет собой итог исследований по проблеме алгоритмизации мышления, которая часто увязывается с распространенной формулировкой "может ли машина мыслить?". В монографии представлены практически все аспекты проблемы понимания деятельности, связанной с вычислимостью  и компьютерными методами исследования  возможностей мышления.

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

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


1 100 руб В корзину