Хлебалин, А. В. Интерактивное доказательство: верификация и генерирование нового математического мышления [Текст] / А. В. Хлебалин> // Философия науки. - 2020. - № 1. - С. 87-95. - Библиогр.: с. 95 (7 назв. ) . - ISSN 1560-7488
Рубрики: Математика Математическая логика Кл.слова (ненормированные): автоматизированные системы в математике -- верификация -- гомотопная теория типов -- компьютерное доказательство -- математическое мышление -- эпистемология математики Аннотация: Рассматриваются классические вопросы эпистемологии математики в связи с применением компьютерных систем в математическом исследовании. Нет сведений об экземплярах (Источник в БД не найден) |