| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 22.1вя73 - С 243
Светлов, В. А.
Философия математики. Основные программы обоснования математики ХХ столетия : учебное пособие для студентов вузов / В. А. Светлов. — 2-е изд. — Москва : КомКнига, 2010. — 208 с. — ISBN 978-5-484-01124-7. — Текст : непосредственный.
Философия математики. Основные программы обоснования математики ХХ столетия : учебное пособие для студентов вузов / В. А. Светлов. — 2-е изд. — Москва : КомКнига, 2010. — 208 с. — ISBN 978-5-484-01124-7. — Текст : непосредственный.
Экземпляры: Всего: 10, из них: аб.-9 в наличии 9, ч/з-1 в наличии 1
Подробнее
Авторы: Светлов В. А.
Отраслевые рубрики: история науки, математика, наука
Ключевые слова: INRC группа, аксиоматика, арифметика, гильбертовская программа, интуиционизм, интуиционистская логика, интуиционистская математика, канторовская теория множеств, конструктивизм, конструктивная математика, логика, логика высказываний, логика предикатов, логицизм, логическое определение числа, математическая теория, обоснование математики, операциональное обоснование математики, парадокс Лжеца, Рассела парадокс, символическая логика, теория алгоритмов Маркова, философия математики, философия науки, финитное обоснование математики, формализм, число
Персоналии: Кантор Георг, Фреге Готлоб, Рассел Бертран, Брауэр Лейтзен Эгберт Ян, Марков Андрей Андреевич, Бишоп Эррет, Гильберт Давид
Индексы ББК: 22.1вя73, 87.25я73
Представления: Формат MARC21