Can I read Алгоритмы и вычислимость в человеческом познании: Algorithms and computability in human knowledge : [монография] on EtoBox?

Алгоритмы и вычислимость в человеческом познании: Algorithms and computability in human knowledge : [монография] by Ю. Л. Ершов, В. В. Целищев ; науч. ред.: К. Ф. Самохвалов, А. С. Морозов is a nonfiction available to read on EtoBox.

What is Алгоритмы и вычислимость в человеческом познании: Algorithms and computability in human knowledge : [монография] about?

Титульный лист Выходные данные Глава 1. Вычислимость и невычислимость Рекурсивность и вычислимость Алгоритм, эффективно вычислимая функция и рекурсивность Алгоритмы и знание Невычислимость Практическая невычислимость Невычислимость, редукционизм и холизм Физикализм, бесконечность и невычислимость Компьютерная модель вселенной Машинная невычислимость и человеческая вычислимость Вычисления и алгоритмы Структура диагонального аргумента Пенроуза Истина и алгоритм Простота алгоритма и возникновение сложности Глава 2. Математический аппарат вычислимости Рекурсивные функции и основания математики Примитивно рекурсивные функции Функция Аккермана Финитизм и примитивно рекурсивная арифметика Поиск более общего понятия - общерекурсивные функции Геделя Эволюция рекурсивности Неразрешимость и λ-определимость Алгоритмы и λ-исчисление Глава 3. Интуиция, финитизм и примитивно рекурсивные функции Терминологические замечания Основные направления исследований соотношения ПРА и финитизма Финитизм и минимальный вид мышления Эпистемологический статус объектов финитизма Финитизм: онтология и эпистемология Финитарность Простота и вычисления Тезис Гильберта Финитизм и интуитивное знание Интуитивность опера

Who reads Алгоритмы и вычислимость в человеческом познании: Algorithms and computability in human knowledge : [монография]?

Author

Ю. Л. Ершов, В. В. Целищев ; науч. ред.: К. Ф. Самохвалов, А. С. Морозов

Publisher

Изд-во Сибирского отд-ния Российской акад. наук

Published

2012

Language

RU

Category

nonfiction