Normal view
MARC view
Проблема логического обоснования дедуктивно-математического знания от античности до XX века логико-математический и философский аспекты Б. В. Бирюков, Л. Г. Бирюкова
Material type: TextPublication details: Москва Ленанд 2015Description: 230 сISBN: 9785971009641Subject(s): математика | логико-математическое обоснование | бесконечность | теория пределов | арифметизация анализа | аксиоматические методы | теория множеств | логика как основание математики | знание дедуктивное | логико-философские исследования | философия математики | математические доказательства | логицизм | предикативизм | исчисление предикатов | финитизм | Гильберта программа обоснования математики | интуиционизм | вычислимость | теория алгоритмов | конструктивизм | логико-математическое знание, диалектика обоснованияItem type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Выдается по месту хранения | Читальный зал 5 | 510 Б649 (Browse shelf (Opens below)) | Available | 13820000898834 |
Библиогр. в подстроч. примеч.
There are no comments on this title.