Здравствуйте, Ночной Смотрящий, Вы писали:

V>>Речь не обо мне, а о принятом человечеством понимании математики как области познания, т.е. о некоем "договоре" (консенсусе).
НС>Принятое человечеством понимание требует ссылок на общепринятые источники, а не на твои голые заявления.

Еще один пытается рассуждать, является ли математика наукой? ))
"Ссылки где???" (С)


НС>Есть вполне обоснованное и совсем не редкое мнение, что математика наукой не является, это инструмент науки. Как и философия с ее научным методом.

Маргиналов хватает везде, и?
Есть принятая классификация наук:
— формальные (точные), естественные и общественные (гуманитарно-социальные).
— фундаментальные и прикладные.

В каждой из наук есть принятая методология.
В естественных науках критерий Поппера является частью методологии. Всё.
Остальное — не более чем непонимание.


НС>>>Если как некое свойство мира — да, является.
V>>Наука не является свойством мира. ))
НС>А числа — являются.

Не являются.
Числа — это символы, артефакты абстрактной (формальной) науки, используемой для научного моделирования мира.

Ты там спрашивал про яблоки, помнится, но не пошёл в рассуждениях дальше — до сопоставления абстрактных символов этим яблокам.
А я ждал, пока ты справишься самостоятельно.
Там не сложно было. ))


НС>И законы математики — тоже.

"Законы" ))
Некоторые законы для некоторых формальных систем.
А для некоторых — дудки.

У любой формальной науки есть только алфавит, терминология, набор исходных аксиом и сверху этого набор теорем (то бишь доказательств), с использованием логики различных порядков, аксиом и уже доказанных ранее теорем (угу, требование однонаправленности цепочки доказательств).

Отсюда, "законы математики" (как устоявшийся термин) — это св-ва некоей формальной модели.
Исторически так вышло, что св-а алегбраических полей когда-то приписывали к законам математики как таковой, но уже примерно пару веков есть понимание, что это был лишь частный случай. Но термин "законы" остался, бгг...


V>>Просто не делай так и всё.
НС>Забыл у тебя спросить разрешения.

Решил помаргиналить?

Разве не забавно требовать "проверяемость" у теорий, заведомо строящихся на строгих доказательствах?
Проверь доказательство, хосподя. ))
"Математика не наука" (С)

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