книги Электронные книги Наука, техника, медицина Точные науки

Заглянуть

В. В. Целищев Ю. А. Ершов

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

Код 4649616

260 кб

январь 2017

Электронная книга

Нет в продаже

Доступные форматы pdf

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

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

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Текст комментария

Оцените книгу:

Правообладатель:	ФГУП «Издательство СО РАН»
Дата выхода:	январь 2017
Размер файла:	260 Кб
Поставщик контента:	ООО «ЛитРес»

Вместе с этой книгой покупают

C# 7 и .NET Core. Кросс-платформенная разработка для профессионалов

C# 7 и .NET Core. Кросс-платформенная... бумажная книга

Марк Дж. Прайс

Нет в продаже

Как стать провидцем или самоучитель настоящей астрологии

Как стать провидцем или самоучитель настоящей... бумажная книга

Рами Блект

Нет в продаже

За пределами мозга бумажная книга

Станислав Гроф

30.77 USD

В корзину

Архип Куинджи бумажная книга

355.42 USD

В корзину

UNIX. Профессиональное программирование бумажная книга

У. Ричард Стивенс

Нет в продаже

Храбрая леди Мери. Британские сказки бумажная книга

А.Е. Базанова

15.44 USD

В корзину

За пределами мозга

бумажная книга

Станислав Гроф

Книга известного американского ученого, доктора медицины Станислава Грофа - документальное отображение и систематизация огромного числа наблюдений в изучении необычных состояний сознания. Для широкого круга специалистов в области философии и культурологии, психотерапии и психиатрии, антропологии, социологии. Переводчик: А. Киселев. Издание 4-е.

Издательство: Ганга
Дата выхода: декабрь 2018

30.77 USD

В корзину

Архип Куинджи

бумажная книга

В альбоме представлены произведения А.И. Куинджи. Всем известны его «Лунная ночь на Днепре» и «Березовая роща». Эти полотна притягивают внимание своим неповторимым цветом и светом, предлагаем познакомиться с творчеством художника более подробно.

Издательство: Белый город
Дата выхода: ноябрь 2018

355.42 USD

В корзину

Храбрая леди Мери. Британские сказки

бумажная книга

А.Е. Базанова

Есть страна на зелёных островах посреди северного моря - Англия. Страна лесов, замков и легенд. Её жители: англичане, шотландцы, валлийцы, ирландцы, - такие разные по характеру и судьбам, - схожи в одном. Кто явно, а кто втайне, кто истово, а кто по привычке, - как и в стародавние времена, они верят в сказочных существ. Эльфы, феи, оборотни и русалки всё ещё гуляют вокруг современных деревень, по древним дубравам,...

Издательство: Концептуал
Дата выхода: март 2019

15.44 USD

В корзину