Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Поиск по журналу

Философия науки

2024 год, номер 1

ТРИ ВИДА ОБОЗРИМОСТИ МАТЕМАТИЧЕСКОГО ДОКАЗАТЕЛЬСТВА

Л.Д. Ламберов
Межрегиональная общественная организация «Русское общество истории и философии науки», Москва, Россия
lev.lamberov@urfu.ru
Ключевые слова: доказательство, обозримость, строгость, формализация, математика, интуиция
Страницы: 57-66

Аннотация

В статье рассматриваются три вида обозримости: глобальная, локальная и «мезоскопическая». Обсуждение обозримости связывается с компьютерными доказательствами. Третий вид обозримости, «мезоскопическая» обозримость, предполагает схватывание элементарных шагов доказательства в группе и опирается на геометрическую интуицию. Также геометрическая интуиция играет важную роль в концепции строгости как локальной общезначимости. В статье сравниваются «мезоскопическая» обозримость и концепция строгости как локальной общезначимости.

DOI: 10.15372/PS20240104
EDN: LDXSHJ
Добавить в корзину
Товар добавлен в корзину



Наш сайт использует куки. Продолжая им пользоваться, вы соглашаетесь на обработку персональных данных в соответствии с политикой конфиденциальности. Подробнее
Отказаться Принять