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

Как читать книгу после покупки
  • Скачать:
  • PDF
Описание книги

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

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

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


Подробная информация
  • Возрастное ограничение: 0+
  • Дата выхода на ЛитРес: 26 января 2017
  • Дата написания: 2012
  • Объем: 505 стр.
  • ISBN: 978-5-7692-0669-6, 978-5-7692-1248-8
  • Общий размер: 2 MB
  • Общее кол-во страниц: 505
  • Размер страницы: 170 x 240 мм
  • Редакторы: А. С. Морозов, К. Ф. Самохвалов
  • Правообладатель: ФГУП «Издательство СО РАН»
Книга Виталия Целищева «Алгоритмы и вычислимость в человеческом познании» — скачать в pdf или читать онлайн. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Книга входит в серию
«Интеграционные проекты СО РАН»
Метаматериалы и структурно организованные среды для оптоэлектроники, СВЧ-техники и нанофотоники
Каталитические, сорбционные, микробиологические и интегрированные методы для защиты и ремедиации окружающей среды
Мультидисциплинарные исследования населения Барабинской лесостепи IV–I тыс. до н.э.: археологический, палеогенетический и антропологический аспекты
-15%
Лучший отзыв
d
08 февраля 2018, 13:41dori-81

Книга написана крайне обстоятельно . Первая половина книги посвящена вопросу о том, что такое вычислимость, что такое доказательство, что такое интуиция, что такое рациональность, как вычислимость связана с основаниями математики и как математические вычисления связаны с математическим доказательством. Подробно рассмотрены тезисы Тьюринга и Чёрча. Для меня стала неожиданностью столь близкая связь вычислимости и рекурсивных функций. Можно сказать, что понятие вычислимости эквивалентно понятию рекурсивных функций. Книгу вполне можно читать.

Пожаловаться0Поделиться:
Оставить отзыв
Напишите отзыв
Получите 50 бонусных рублей
на ваш счет в ЛитРес.
Напишите содержательный отзыв
длиной от 120 знаков
Купите 3 книги одновременно и выберите четвёртую в подарок!

Чтобы воспользоваться акцией, добавьте нужные книги в корзину. Сделать это можно на странице каждой книги, либо в общем списке:

  1. Нажмите на многоточие
    рядом с книгой
  2. Выберите пункт
    «Добавить в корзину»