Проекты за года
Аннотация
Рассматривается понятие математического доказательства в связи с применением компьютеров в математике. Исследуются особенности этого понятия, а также связанных эпистемологических проблем. Особое внимание уделяется проблеме обозримости на примере доказательства теоремы о четырех красках. Настоящая работа представляет собой вторую статью в серии о понятии теоретико-типового доказательства.
| Переведенное название | The Concept of Proof in the Context of a Type-Theoretic Approach, II: Proofs of Theorems |
|---|---|
| Язык оригинала | Русский |
| Страницы (с-по) | 34-41 |
| Число страниц | 8 |
| Журнал | Вестник Томского государственного университета. Философия. Социология. Политология. |
| Том | 49 |
| Номер выпуска | 49 |
| DOI | |
| Состояние | Опубликовано - июн 2019 |
Предметные области WoS
- Общественные науки, Междисциплинарные труды
ГРНТИ
- 02.00.00 ФИЛОСОФИЯ
Уровень публикации
- Перечень ВАК
Fingerprint Подробные сведения о темах исследования «ПОНЯТИЕ ДОКАЗАТЕЛЬСТВА В КОНТЕКСТЕ ТЕОРЕТИКО-ТИПОВОГО ПОДХОДА, II: ДОКАЗАТЕЛЬСТВА ТЕОРЕМ». Вместе они формируют уникальный семантический отпечаток (fingerprint).
Проекты
- 1 Активно
-
Научная лаборатория сравнительных исследований толерантности и признания
Хомяков, М. Б., Полякова, И. Г., Меньшиков, А. С., Ван Гелдерен, М., Логинов, А. В., Степанова, Е. А., Трубина, Е. Г., Черняева, Н. А., Чева, Э., Ван Брик, Б., Ананьина, В. Т., Гришаева, Е. И., Данилова, А. В., Руденкин, Д. В., Томильцева, Д. А., Атие, Б., Афвата, Д. О., Гусейнов, К. К., Кага Лейинда, У. М., Муллозода, Р. Т., Нови, Н. В. Р., Смит, Р. Д., Сомкамнерд, Н., Мюллер, М., Неменко, Е. П., Ламберов, Л. Д., Антонова, Н. Л., Веселкова, Н. В., Ильченко, М. С., Муратшина, К. Г., Саид, Л., Боянич, П., Йенсен, Т., Типпакди, Л., Суваннагул, Р., Стоякович, Д., Набила, Х., Комурджу, Э., Кердпун, А., Дуйшонбек Кызы, А., Ватчаравутпаттана, П., Бушикки, Л., Бенбутриф, Д., Ашраф, М., Тао, М., Вагнер, П., Саймонс, Г. Д., Соболева, М. Е., Черепанова, Е. С., Якимова, О. А., Пургина, Е. С., Галвис Гомес, Ф. А., Сенокосова, А. Н. & Андал, А. Г.
01/12/2013 → …
Проект: Исследование › Научная лаборатория