Библиотечная система
Библиотечная система. Международный университет природы, общества и человека "Дубна"
  Главная     Поиск       Новости     Консультация     Часы работы     О нас     О сайте     Блог Мишки Б.     Напишите нам  
Авторизация
№ карты:
Фамилия:
   Помощь
Помощь
Общая схема поиска литературы

Руководство по поиску в электронном каталоге

Правила использования информационных ресурсов
Электронный каталог
Расширенный поиск
Поиск по отраслевой классификации
Поиск по словарям
NEW!Новые поступления
Электронные версии
Журналы и газеты
 Подписка 2024
 Каталог периодики
 Заказ журналов
Рекомендуемая литература
Издания университета

Библиотека Чечельницкого А.М.
Библиотека Пономарёва В.С.
Редкий фонд
Выставки
Ресурсы интернета

Besucherzahler mail order brides
счетчик посещений

Библиографическое описание

22.1вя73
С 243
Книга

Светлов В. А. Философия математики. Основные программы обоснования математики ХХ столетия: учебное пособие для студентов вузов / Светлов Виктор Александрович. - 2-е изд. - Москва: КомКнига, 2010. - 208 с. - ISBN 978-5-484-01124-7.

Гриф: УМО вузов РФ по педагогическому образованию

Отраслевые рубрики: история науки, математика, наука

Ключевые слова: INRC группа, аксиоматика, арифметика, гильбертовская программа, интуиционизм, интуиционистская логика, интуиционистская математика, канторовская теория множеств, конструктивизм, конструктивная математика, логика, логика высказываний, логика предикатов, логицизм, логическое определение числа, математическая теория, обоснование математики, операциональное обоснование математики, парадокс Лжеца, Рассела парадокс, символическая логика, теория алгоритмов Маркова, философия математики, философия науки, финитное обоснование математики, формализм, число

Персоналии: Кантор Георг, Фреге Готлоб, Рассел Бертран, Брауэр Лейтзен Эгберт Ян, Марков Андрей Андреевич, Бишоп Эррет, Гильберт Давид

Сигла храненияВсего экз.В наличииЗаказано
абонемент990
чит. зал110


отобрать

Читать
Обложка


Назад