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