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

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

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

Книга написана на основе лекций, читавшихся П. С. Новиковым в МГУ. В ней излагаются некоторые аспекты математической логики, не рассмотренные в его предыдущей книге `Элементы математической логики`. В этом смысле она как бы дополняет предыдущую книгу. В то же время книгу можно читать независимо, так как в ней подробно излагаетсявесь нужный по ходу дела материал, относящийся к классическим логическим исчислениям. В книге рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной логики изложены в оригинальной и доступной для читателяформе. Доказательства основных утверждений приводятся во всех деталях.

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

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

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

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

АвторКнигаОписаниеГодЦенаТип книги
конструктивная математическая логика с точки зрения классическойВ середине XX века получила заметное развитие идея построения математического анализа на базе современной теории алгорифмов. Такое построение, отличаясь от традиционного простотой и интуитивной… — Главная редакция физико-математической литературы издательства "Наука", (формат: 84x108/32, 447 стр.) Математическая логика и основания математики Подробнее...1977
480бумажная книга

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.