8 (812) 320-06-69

Каталог

Категории
Высшее образование (16+) (39733)
Высшее образование
Естественные науки (2581)
Естественные науки
Общественные науки (3173)
Общественные науки
Информатика и компьютерные технологии (4253)
Информатика и компьютерные технологии
Инженерное дело (1409)
Инженерное дело
Телекоммуникации, электроника, электротехника и радиотехника (1360)
Телекоммуникации, электроника, электротехника и радиотехника
Строительство. Архитектура (634)
Строительство. Архитектура
Строительство. Архитектура. Журналы (17)
Строительство. Архитектура. Журналы
Бетон и железобетон (3)
Бетон и железобетон
Жилищное строительство (7)
Жилищное строительство
Строительные материалы (7)
Строительные материалы
Юридические науки.Право (4332)
Юридические науки.Право
Отрасли права (2771)
Отрасли права
Гуманитарные науки (6046)
Гуманитарные науки
Экономика. Экономические науки (6619)
Экономика. Экономические науки
Образование. Педагогические науки (3351)
Образование. Педагогические науки
Медицина и здравоохранение (954)
Медицина и здравоохранение
Физическая культура и спорт (474)
Физическая культура и спорт
Среднее профессиональное образование (14+) (2819)
Среднее профессиональное образование
Коллекции (43755)
Коллекции
Издательские коллекции (43332)
Издательские коллекции
Журналы (999)
Журналы
Остаться в выбранном разделе
Назад к каталогу

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

Алгоритмы и вычислимость в человеческом познании ; Рос. акад. наук, Сиб. отд-ние, Ин-т математики, Ин-т философии и права. -(Интеграционные проекты СО РАН; Вып. 40) ISBN 978-5-7692-1248-8
ISBN 978-5-7692-1248-8
Авторы: 
Ершов Ю.Л., Целищев В.В.
Тип издания: 
Монография
Издательство: 
Новосибирск: СО РАН
Год: 
2012
Количество страниц: 
504
Аннотация

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

Библиографическое описание Скопировать библиографическое описание

Ершов Ю.Л. Алгоритмы и вычислимость в человеческом познании ; Рос. акад. наук, Сиб. отд-ние, Ин-т математики, Ин-т философии и права. -(Интеграционные проекты СО РАН; Вып. 40) / Ю.Л. Ершов, В.В. Целищев. - Новосибирск : СО РАН, 2012. - 504 с. - ISBN 978-5-7692-1248-8. - URL: http://new.ibooks.ru/bookshelf/371909/reading (дата обращения: 29.03.2024). - Текст: электронный.