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

..., переменных

..., отношений

, и т.д. и формулирует законы типа

и т.д. и т.п.
Вопрос: все ли истины наблюдатель открывает или кое-какие и придумывает, изобретает?