[Текст] : монография / А. Гейтинг ; пер. с англ. В. А. Янков ; ред. А. А. Марков. - 2-е изд., испр. - Москва : УРСС : Либроком, 2010. - 163 с. - (Физико-математическое наследие: математика (основания математики и логика)). - Библиогр.: с.152-160 . - Предм. указ.: с. 161-163. -
Пер. изд. : Intuionism. An introduction / Arend Heyting. -
ISBN 978-5-397-01321-5 : 185.80 р.
ББК В12 + Ю25
Аннотация: Вниманию читателей предлагается книга голландского математика и логика А.Гейтинга, представляющая собой монографию по основаниям математики. Вопросы оснований математики (теория математического доказательства, проблема существования в математике) рассматриваются в ней с точки зрения интуиционизма - философско-математического течения, считающего интуицию единственным источником математики и главным критерием строгости ее построений. Книга написана в форме живой беседы между представителями различных точек зрения на основания математики; в ходе обсуждения рассматриваются натуральные числа, действительные числовые генераторы, арифметика действительных чисел, алгебраические поля и линейные уравнения, дифференцирование и т.д., а также некоторые вопросы логики. Приводятся теоремы и их доказательства.
Держатели документа: ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Доп.точки доступа: Янков, В. А. \пер. с англ.\; Марков, А. А. \ред.\; Heyting, Arend
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)