geomath писал(а):
Наконец-то прочитал эту (большую) статью. Насколько я понял, в ней отстаивается некоторая радикальная форма платонизма: математика не есть описание окружающей нас действительности, она сама эта действительность, которая не зависит от наблюдателя, поэтому наблюдатель не изобретает математические истины, но открывает их.
Я думаю, что он их действительно открывает, но кое-что и изобретает, например, форму представления этих истин, вводит язык на котором эти истины можно удобно описать и формулирует истины в виде утверждений на изобретенном им языке.
Например, вводит обозначения для чисел
![$1, 2, 3,$ $1, 2, 3,$](https://dxdy-03.korotkov.co.uk/f/6/6/8/668b7b51adabd90c5808a8662d6843f882.png)
..., переменных
![$a, b, c, $ $a, b, c, $](https://dxdy-04.korotkov.co.uk/f/3/1/a/31a04e7a8bc98835f9c304584cc9a27482.png)
..., отношений
![$<, =, > $ $<, =, > $](https://dxdy-02.korotkov.co.uk/f/d/d/2/dd2bb60431b342cf2426f07476b1a8e282.png)
, и т.д. и формулирует законы типа
![$a+b=b+a$ $a+b=b+a$](https://dxdy-01.korotkov.co.uk/f/4/8/7/487c35d44685b1cbcfebabf207613a2782.png)
и т.д. и т.п.
Вопрос: все ли истины наблюдатель открывает или кое-какие и придумывает, изобретает?