Книга: В. В. Целищев «Тезис Черча»

Тезис Черча

Серия: "Новая философия математики"

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

Издательство: "Параллель" (2008)

Формат: 60x90/16, 174 стр.

ISBN: 978-5-98901-053-0

Купить за 623 руб на Озоне

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Логика существованияПредлагаемая читателю книга посвящена представлению концепции существования в логике. Под логикой существования в работе понимается ряд исследований по применению математической логики к анализу и… — Красанд, (формат: 60x90/16, 136 стр.) Подробнее...2010338бумажная книга
Логическая истина и эмпиризмНастоящая монография представляет собой очерк философских проблем математической логики и оснований математики, возникших в связи с недавними достижениями в этих областях. Рассмотрены проблемы… — Красанд, (формат: 60x90/16, 114 стр.) Подробнее...2010310бумажная книга
Понятие объекта в модальной логикеНастоящая монография посвящена обоснованию модальной логики и философским проблемам ее категориального аппарата. Одна из целей книги заключается в указании направления развития философской… — Красанд, (формат: 60x90/16, 176 стр.) Подробнее...2010395бумажная книга
Филосовские проблемы семантики возможных мировМонография посвящена философским вопросам модальной логики и теории дистрибутивных нормальных форм. Указанный логический аппарат, развитый Я. Хинтиккой в последние 10-15 лет, имеет существенное… — Наука. Сибирское отделение, (формат: 84x108/32, 192 стр.) Подробнее...1977200бумажная книга
Философские проблемы семантики возможных мировМонография посвящена философским вопросам модальной логики и теории дистрибутивных нормальных форм. Указанный логический аппарат, развитый Я. Хинтиккой, имеет существенное значение для решения… — Красанд, (формат: 60x90/16, 202 стр.) Подробнее...2010428бумажная книга
Логическая истина и эмпиризмМонография «Логическая истина и эмпиризм» представляет собой очерк философских проблем математической логики и оснований математики, возникших в связи с недавними достижениями в этих областях… — Наука, (формат: 60x90/16, 116 стр.) Подробнее...1974220бумажная книга
Философия математики. Часть 1В монографии отражены исследования в области философии математики, чрезвычайно важные для понимания соотношения формальных систем и их философских интерпретаций. В центре внимания находятся… — Наука, (формат: 60x90/16, 212 стр.) Новая философия математики Подробнее...2002454бумажная книга
Априорные структуры как представление знанияВ монографии представлена концепция априорных дедуктивных структур как представление знания. Показано, что такая трактовка математики способствует эпистемологической трактовке дихотомии… — Параллель, (формат: 60x90/16, 194 стр.) Новая философия математики Подробнее...2013694бумажная книга
Алгоритмизация мышления. Геделевский аргументМонография посвящена сопоставлению возможностей искусственного интеллекта и человеческих когнитивных способностей в области математического мышления. В центревнимания находится использование теорем… — Параллель, (формат: 60x90/16, 304 стр.) Новая философия математики Подробнее...2005763бумажная книга
Эпистемология математического доказательстваВ монографии отражены исследования в области философии математики, важные для понимания природы математического доказательства, в частности, двух типов доказательства - "по озарению" и… — Параллель, (формат: 60x90/16, 212 стр.) Новая философия математики Подробнее...2006623бумажная книга
Интуиция, финитизм и рекурсивное мышлениеВ монографии отражены исследования в области философии математики, важные для понимания математического мышления, в частности, элементарных структур. В центре внимания находятся понятия… — Параллель, (формат: 60x90/16, 220 стр.) Новая философия математики Подробнее...2007623бумажная книга
Нормативность дедуктивного дискурса. Феноменология логических константВ монографии отражены исследования в области философии логики и математики, важные для понимания природы норм рационального мышления. В центре внимания работы находится понятие логического… — Нонпарель, (формат: 60x90/16, 340 стр.) Новая философия математики Подробнее...2004763бумажная книга
Онтология математики. Объекты и структурыВ монографии отражены исследования в области философии математики, важные для понимания природы абстрактных объектов математики, в частности, природы натуральныхчисел и множеств. В центре внимания… — Нонпарель, (формат: 60x90/16, 240 стр.) Новая философия математики Подробнее...2003623бумажная книга
Понятие объекта в модальной логикеНастоящая монография посвящена обоснованию модальной логики и философским проблемам ее категориального аппарата. Одна из целей книги заключается в указании направления развития философской… — Наука, (формат: 84x108/32, 176 стр.) Подробнее...1978200бумажная книга
Логика существования. Анализ и экспликацияПредлагаемая читателю книга посвящена представлению концепции существования в логике. Под логикой существования в работе понимается ряд исследований по применению математической логики к анализу и… — КРАСАНД, (формат: 60x90/16, 136 стр.) Подробнее...2010367бумажная книга

См. также в других словарях:

  • тезис Черча — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN Churchs thesis …   Справочник технического переводчика

  • Тезис Черча — …   Википедия

  • Тезис Черча-Тьюринга — …   Википедия

  • Тезис Черча — Тьюринга — …   Википедия

  • Тезис Черча—Тьюринга — …   Википедия

  • алгоритм —         АЛГОРИТМ (алгорифм; от лат. формы имени ученого 9 в. аль Хорезми Algorithmi) точное предписание о порядке выполнения некоторой системы операций над исходными данными для получения желаемого результата, которое исполняется вычислителем… …   Энциклопедия эпистемологии и философии науки

  • АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

  • Крипке, Сол Аарон — Сол Крипке Дата рождения: 13 ноября 1940(1940 11 13) (72 года) …   Википедия

  • Крипке, Сол — Сол Крипке Дата и место рождения: 1940 Школа/традиция: Аналитическая философия Период: XX век Направление: Западная философия …   Википедия

  • Крипке С. — Сол Крипке Дата и место рождения: 1940 Школа/традиция: Аналитическая философия Период: XX век Направление: Западная философия …   Википедия

  • Крипке С. А. — Сол Крипке Дата и место рождения: 1940 Школа/традиция: Аналитическая философия Период: XX век Направление: Западная философия …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»