The Organic Garden
Allan Shepherd
Выражаем надежду, что "The Organic Garden" будет полезной и поможет в деле обустройства приусадебного ...
Алгоритмы и вычислимость в человеческом познании
Электронная книга
- Автор: Виталий Целищев
- Издатель: ФГУП «Издательство СО РАН»
- Год: 2012
- ISBN: 978-5-7692-0669-6, 978-5-7692-1248-8
- Цена: 1100 Руб.
Могущество в знании, и книга - вечный кладезь познаний. И это ещё не всё! И вот блестящий вид того типа литературы, что способствует расширению кругозора и помогает человеку познать, изменить и улучшить свой мир - "Алгоритмы и вычислимость в человеческом познании"
Настоящая монография представляет собой итог исследований по проблеме алгоритмизации мышления, которая часто увязывается с распространенной формулировкой «может ли машина мыслить?» В монографии представлены практически все аспекты проблемы понимания деятельности, связанной с вычислимостью и компьютерными методами исследования возможностей мышления. Дано сопоставление вычислимости и невычислимости в контексте методов познания законов природы. Описан математический аппарат вычислимости, в частности, представлена теория рекурсивных функций. Особое внимание уделено связи этой теории с программой оснований математики Д. Гильберта – финитизмом. Процесс алгоритмизации мышления представлен в терминах минимальных средств строгого математического доказательства. При этом обнаружена проблема обозримости доказательства, а также вычислимости как средства получения доказательства. Понятие эффективной вычислимости обсуждено в связи со статусом тезиса Черча, который долгое время был предметом дискуссий. Монография предназначена специалистам в области компьютерных исследований, математической логики, философии, логики и методологии науки.
Не сомневаемся, что "Алгоритмы и вычислимость в человеческом познании" будет полезной и поможет в деле самообразования и в решении специфических проблем.
