Book: «конструктивная математическая логика с точки зрения классической»

конструктивная математическая логика с точки зрения классической

Серия: "Математическая логика и основания математики"

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

Издательство: "Главная редакция физико-математической литературы издательства "Наука"" (1977)

Формат: 84x108/32, 447 стр.

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

Другие книги схожей тематики:

АвторКнигаОписаниеГодЦенаТип книги
П. С. НовиковКонструктивная математическая логика с точки зрения классическойКнига написана на основе лекций, читавшихся П. С. Новиковым в МГУ. В ней излагаются некоторые аспекты математической логики, не рассмотренные в его предыдущей книге `Элементы математической логики`… — Главная редакция физико-математической литературы издательства "Наука", (формат: 84x108/32, 328 стр.) Математическая логика и основания математики Подробнее...1977
210бумажная книга

Look at other dictionaries:

  • МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… …   Математическая энциклопедия

  • КОНСТРУКТИВНАЯ ЛОГИКА —         1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается …   Философская энциклопедия

  • конструктивная логика —         КОНСТРУКТИВНАЯ ЛОГИКА (от лат. constructio построение) совокупность логических принципов, признаваемых приемлемыми представителями конструктивизма в математике. Предметом конструктивизма являются конструктивные объекты и конструктивные… …   Энциклопедия эпистемологии и философии науки

  • КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… …   Математическая энциклопедия

  • ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

  • Конструктивная математика — У этого термина существуют и другие значения, см. конструктивизм. Конструктивная математика абстрактная наука о конструктивных процессах[прояснить], человеческой способности осуществлять их, и об их результатах конструктивных объектах. Содержание …   Википедия

  • ПРОМЕЖУТОЧНАЯ ЛОГИКА — высказываний произвольное непротиворечивое множество пропозициональных формул, замкнутое относительно правила вывода модус поненс и правила подстановки и содержащее все аксиомы интуиционистского исчисления высказываний I. Наиболее естественным… …   Математическая энциклопедия

  • НОВИКОВ Петр Сергеевич — [р. 15(28) авг. 1901 ] – сов. математик и логик. Окончил Московский ун т (1925). Акад. (с 1960). Ленинская премия (1957). Н. – автор работ по теории множеств, матем. логике, алгебре, мн. из к рых, помимо собственно матем. ценности, имеют большое… …   Философская энциклопедия

  • РЕКУРСИВНАЯ РЕАЛИЗУЕМОСТЬ — уточнение интуиционистской семантики арифметич. суждений на основе понятия частично рекурсивной функции, предложенное С. Клини (см. [1], [2]). Для всякой замкнутой арифметич. формулы Fопределяется отношение натуральное число ереализует формулу F …   Математическая энциклопедия

  • Конструктивизм (математика) — Конструктивная математика абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах конструктивных объектах. Содержание 1 Абстракции конструктивной математики 2 Основные объекты рассмотрения …   Википедия

  • Математика — Евклид. Деталь «Афинской школы» Рафаэля Математика (от др. греч …   Википедия


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.