Власов, Д. Ю. Логико-эмпирические основания математики [Текст] / Д. Ю. Власов> // Философия науки. - 2012. - № 4. - С. 68-84. - Библиогр.: с. 83-84 (11 назв. ) . - ISSN 1560-7488
Рубрики: Философия Философия науки Математика Общие вопросы математики Кл.слова (ненормированные): логика -- языки -- верификация -- компьютерные языки -- логико-эмпирические основания -- философские проблемы Аннотация: Предлагается рассматривать машинную верификацию формальных доказательств, записанных на некотором компьютерном языке, как логико-эмпирическое основание математики. Анализируются возникающие при этом философские проблемы. |