Электронная книга: Виталий Целищев «Алгоритмы и вычислимость в человеческом познании»
|
Серия: "Интеграционные проекты СО РАН" Настоящая монография представляет собой итог исследований по проблеме алгоритмизации мышления, которая часто увязывается с распространенной формулировкой «может ли машина мыслить?» В монографии представлены практически все аспекты проблемы понимания деятельности, связанной с вычислимостью и компьютерными методами исследования возможностей мышления. Дано сопоставление вычислимости и невычислимости в контексте методов познания законов природы. Описан математический аппарат вычислимости, в частности, представлена теория рекурсивных функций. Особое внимание уделено связи этой теории с программой оснований математики Д. Гильберта – финитизмом. Процесс алгоритмизации мышления представлен в терминах минимальных средств строгого математического доказательства. При этом обнаружена проблема обозримости доказательства, а также вычислимости как средства получения доказательства. Понятие эффективной вычислимости обсуждено в связи со статусом тезиса Черча, который долгое время был предметом дискуссий. Монография предназначена специалистам в области компьютерных исследований, математической логики, философии, логики и методологии науки. Издательство: "ФГУП «Издательство СО РАН»" (2012)
ISBN: 978-5-7692-0669-6, 978-5-7692-1248-8 электронная книга Купить за 1100 руб и скачать на Litres |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|
См. также в других словарях:
Целищев, Виталий Валентинович — Виталий Валентинович Целищев Дата рождения: 21 февраля 1942(1942 02 21) (70 лет) Место рождения: Новосибирск Гражданство: Россия Направление: логика и методология науки … Википедия
ЦЕЛИЩЕВ Виталий Валентинович — (р. 1942) специалист в области философии логики и математики. Доктор филос. наук. Окончил физико технический факультет Новосибирского технического ун та (1965), аспирантуру Ин та философии АН Украины. Работал в Ин те истории, филологии и… … Философская энциклопедия
Целищев, Виталий Валентинович — (р. 21.02.1942) спец. по логике и методол. науки; д р филос. наук, проф. Род. в Новосибирске. Окончил Новосиб. элек тротехн. ин т (1965) и асп. по логике в ИФ АН Укр. ССР. В наст. вр. зав. отделом филос. науки ИФП СО РАН, проф. кафедры филос.… … Большая биографическая энциклопедия
РПЦЗ(В) — У этого термина существуют и другие значения, см. РПЦЗ (значения) … Википедия
Чемпионат России по хоккею с мячом 1997/1998 — 6 й чемпионат России по хоккею с мячом состоялся с 21 ноября 1997 года по 11 марта 1998 года. Участвовали 24 команды рекордное количество в чемпионатах страны. Предварительный турнир по географическому принципу: Восточная и Западная группы … Википедия
Чемпионат России по хоккею с мячом 1998/1999 — 7 й чемпионат России по хоккею с мячом состоялся с 17 ноября 1998 года по 12 марта 1999 года. Участвовали 23 команды. Предварительный турнир по географическому принципу: Восточная и Западная группы, затем плей офф, начиная с 1/8 финала,… … Википедия
