Электронные книги

Жанры
Реклама
Последние комментарии
От партнёров
Облако тегов

Наука и учебаМатематический интуиционизм. Введение в теорию доказательств

Математический интуиционизм. Введение в теорию доказательств Название: Математический интуиционизм. Введение в теорию доказательств
Автор: Драгалин А.Г.
Издательство: Наука
Год издания: 1979
Страниц: 256
Язык: русский
Формат: djvu
Качество: хорошее
Размер: 2.65 Мб

В настоящее время в математической логике большое внимание уделяется исследованию неклассических логик. Многозначные логики высказываний уже довольно давно и весьма успешно применяются в теоретической кибернетике. Модальные логики находят интересные применения в теоретическом программировании.
Неклассические логики используются в теории вычислений, информатике, при описании систем эвристического программирования. Особенно важной из неклассических логик является, несомненно, интуиционистская логика. Прежде всего, само введение этой логики имеет глубокое и интересное философское обоснование, связанное с интуиционистской критикой классической математики, выдвинутой Брау-эром. Кроме того, интуиционистская логика — пожалуй, единственная из неклассических логик, в рамках которой действительно фактически производилась достаточно глубокая разработка многих разделов математики. Интуиционистская логика лежит в основе построения многих математических.теорий, базирующихся на различных концепциях конструктивности в математике, и позволяет тонко и точно анализировать трудный и важный вопрос о характере существования объектов исследования в математике. Накопленный здесь опыт свидетельствует о поразительном разнообразии возможных оттенков и вариантов различения эффективности в математике.

Нажмите для скачивания Matematicheskij_intuicionizm.rar!Matematicheskij_intuicionizm.rar
Размер: 2.65 Mb(cкачиваний: 0)



Похожие книги

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


  • Valid XHTML 1.0 Transitional