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

Купить бумажную книгу и читать

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

Автор: Драгалин А.Г.

Издательство: Наука

Год издания: 1979

Страниц: 256

Язык: русский

Формат: djvu

Качество: хорошее

Размер: 2.65 Мб

В настоящее время в математической логике большое внимание уделяется исследованию неклассических логик. Многозначные логики высказываний уже довольно давно и весьма успешно применяются в теоретической кибернетике. Модальные логики находят интересные применения в теоретическом программировании.

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