Сводный каталог книг

[Текст] : Сборник статей / Российская академия наук ; Российская академия наук; Под ред. С.И. Адяна. - Москва : Наука, 2003. - 207 с. - (Труды Математического института им. В.А. Стеклова ; вып. 242). - Библиогр.: с. 135. - К 100-летию академика П. С. Новикова. - Несколько статей на англ. яз. - ISBN 5-02-032604-6 : 141.00 р., 57.50 р.

ГРНТИ	27.03.19	27.17
УДК	510.6^V3	512^V3

ББК В12 + В15 + В1я43 + В12я43 + В15я43

Аннотация: В августе 2001 г. в Москве прошла Международная конференция, посвященная 100-летию со дня рождения выдающегося российского математика Петра Сергеевича Новикова. В настоящий том Трудов МИАН вошли статьи как представителей научной школы Петра Сергеевича, так и ряда других участников этой конференции. Публикуемые работы относятся к различным разделам алгебры и математической логики: теория доказательств, теория алгоритмов, интуиционизм, сложность вычислений и др. Работы зарубежных ученых публикуются в оригинале на английском языке. Книга будет полезна для математиков, интересующихся актуальной проблематикой математической логики и алгебры.

Труды Математического института имени В. А. Стеклова,
том 242

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Адян, С.И. \ред.\; Российская академия наук
Экземпляры всего: 2
ИВМ-СИФ (1), ЦНБ-АБ (1)
Свободны: ИВМ-СИФ (1), ЦНБ-АБ (1)

[Текст] : Монография / А.А. Френкель, И. Бар-Хиллел ; Пер. с англ. Ю.А. Гостева; под ред. и со вступ. ст. А.С. Есенина-Вольпина. - Изд. 2-е, стер. - Москва : URSS ; Москва : КомКнига, 2006. - 552 с. - Алф. указ. авт.: с. 538-552. - Библиогр.: c. 422-537. - ISBN 5-484-00494-2 : 250.68 р.

ГРНТИ	27.03
УДК	510.22^V3

ББК В12 + В161

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Бар-Хиллел, Иегоша; Есенин-Вольпин, А.С. \ред.\; Гостев, Ю.А. \пер.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / А. Гейтинг ; пер. с англ. В. А. Янков ; ред. А. А. Марков. - 2-е изд., испр. - Москва : УРСС : Либроком, 2010. - 163 с. - (Физико-математическое наследие: математика (основания математики и логика)). - Библиогр.: с.152-160 . - Предм. указ.: с. 161-163. - Пер. изд. : Intuionism. An introduction / Arend Heyting. - ISBN 978-5-397-01321-5 : 185.80 р.

ГРНТИ

27.01.05

ББК В12 + Ю25

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Янков, В. А. \пер. с англ.\; Марков, А. А. \ред.\; Heyting, Arend
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)