Ламберов, Лев Дмитриевич (кандидат философских наук). Понятие доказательства в контексте теоретико-типового подхода []. [Ч.] 2. Доказательства теорем / Л. Д. Ламберов // Вестник Томского государственного университета. Философия. Социология. Политология = Tomsk State University. Journal of Philosophy, Sociology and Political Science. - 2019. - № 49. - С. 34-41. - Библиогр.: с. 39-40 (18 назв.). - Продолж. Начало: № 46, 2018. - ОГАУК "Томская областная универсальная научная библиотека имени А.С. Пушкина". - code, vvt4. - year, 2019. - no, 49. - ss, 34. - ad, 1. - d, 2019, , 0, y. - RUMARS-vvt419_no49_ss34_ad1 . - ISSN 1998-863x
Рубрики: Математика Общие вопросы математики Кл.слова (ненормированные): вычислительные машины -- доказательства -- компьютерные науки -- математические доказательства -- обозримость доказательств -- основания математики -- теорема о четырех красках -- теоремы -- теоретико-типовой подход -- теории -- теория типов Аннотация: Исследование понятия математического доказательства в связи с применением вычислительных машин в математике. Рассматривается проблема обозримости на примере доказательства теоремы о четырех красках. Нет сведений об экземплярах (Источник в БД не найден) |