Аннотация к книге "Конструктивная теория доказательств и нестандартный анализ. ("Математический интуиционизм. Введение в теорию доказательств", и др.)"
А.Г.Драгалин - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и...
А.Г.Драгалин - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А.Г.Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г.Е.Минца. В издание вошли также воспоминания коллег, учеников и друзей А.Г.Драгалина - С.Н.Артемова, Э.Б.Баялинова, А.С.Бойцова, Б.А.Кушнера, Г.Е.Минца, Е.Ю.Ногиной, А.Трулстра, В.Б.Шехтмана. Аналитический обзор основных результатов А.Г.Драгалина представлен в предисловии Н.Н.Непейводы. Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
Последние почти три с половиной года жизни Галича прошли на Западе в вынужденной эмиграции. В течение этого времени он продолжал сочинять стихи и песни, выступал с концертами. По поводу возвращения на родину он писал: «Единственная моя мечта — надежда, вера, счастье, удовлетворение — в том, что я все время буду возвращаться на эту землю. А уж мертвый-то я вернусь в нее наверняка». Данное издание...
Почему трудно быть собой на первом свидании или на собеседовании у работодателя? Потому что усердие и упорство в этих случаях вредны. Нередко нам говорят: "работай до изнеможения", "изо всех сил старайся забыть", "слушай внимательно". По мнению канадского востоковеда и психолога, это ужасные советы. На материале древнекитайской философии и современной когнитивистики он показывает, как важно быть...
Оставить комментарий