Физико-математическое наследие: математика (основания математики и логика)

Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными... (Подробнее)

Настоящее издание представляет собой перевод первой книги первой части трактата Н.Бурбаки "Начала математики", имеющего целью изложить всю современную математику с единой и оригинальной точки зрения. В этой книге закладываются наиболее фундаментальные и общие понятия, служащие основой всего... (Подробнее)

Вниманию читателей предлагается книга, ставшая первой в СССР работой, в которой был изложен общий очерк математической логики. Она была предназначена автором для читателей, желающих ознакомиться с элементарными основами математической логики без углубления в различные подробности,... (Подробнее)

Вниманию читателей предлагается классическое учебное пособие, написанное выдающимся советским математиком, академиком АН СССР П.С.Александровым и посвященное общим вопросам теории множеств и функций. Более элементарные главы (первая, вторая, четвертая и пятая) образуют сами по себе связное целое и могут... (Подробнее)

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

Книга Р.Л.Гудстейна может служить кратким... (Подробнее)

Вниманию читателей предлагается книга известного немецкого математика, одного из основоположников современной топологии Ф.Хаусдорфа (1868–1942), которая содержит очень полное и в то же время совершенно элементарное изложение теории множеств. Данная работа оказала влияние на все отрасли современной... (Подробнее)

Stephen Cole Kleene. Mathematical Logic

Имя одного из крупнейших специалистов в области математической логики С.К.Клини знакомо читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (переиздание которого готовится нашим издательством), ставшего настольной книгой... (Подробнее)

Henri Lebesgue. La mesure des grandeurs

Предлагаемая читателям книга, написанная выдающимся французским математиком А.Лебегом (1875–1941), посвящена вопросам измерения величин. В ней рассматриваются операции над числами, методы измерения площадей плоских фигур, объемов, длин кривых, площадей... (Подробнее)

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

Книга рассчитана на широкий круг читателей, интересующихся аксиоматическими теориями. (Подробнее)

Вниманию читателя предлагается классическое руководство по элементам математической логики, написанное известными немецкими математиками. Материал книги вырос из курса лекций выдающегося математика конца ХIX -- начала XX вв. Д.Гильберта и был в окончательном виде подготовлен его учеником В.Аккерманом.... (Подробнее)

Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых... (Подробнее)

Софья Александровна Яновская (1896–1966) --- советский математик, логик, философ, доктор физико-математических наук. Ее труды посвящены проблемам истории, методологии и философии математики. С.А.Яновская внесла большой вклад в развитие математической логики в нашей стране: читала курсы... (Подробнее)

Вниманию читателей предлагается книга известного французского математика и философа Луи Кутюра (1868–1914), содержащая основы алгебры логики --- раздела математической логики, в котором изучаются логические операции над высказываниями. Представлены две интерпретации логического исчисления.... (Подробнее)

В книге излагается доказательство независимости гипотезы континуума от остальных аксиом теории множеств --- один из самых интересных и ярких результатов в математике, за который автор, профессор Стэнфордского университета Пол Джозеф Коэн, был удостоен медали Филдса на Международном конгрессе математиков... (Подробнее)

В ходе развития теории множеств, которая является основой построения большинства математических дисциплин, возникли чрезвычайно сложные проблемы непротиворечивости. Книга представляет собой наиболее полный из существующих обзор исследований, вызванных к жизни этой проблематикой; в ней описываются... (Подробнее)

Вниманию читателей предлагается книга голландского математика и логика А.Гейтинга (1898–1980), представляющая собой монографию по основаниям математики. Вопросы оснований математики (теория математического доказательства, проблема существования в математике) рассматриваются в ней с точки... (Подробнее)