Ре: Хорошо
>Но классификации относящие математику к естественным наукам - ублюдочны. Поскольку предмет науки "математика" к физическому миру отношения не имеет.
Вам не нравится общепринятая классификация? Ваше право. Но отнесение математики к естественным наукам (с принципом: "практика - критерий истины") получило ещё в 1931 году существенное обоснование внутри самой математики (и, - математической логики, кстати):
"ГЕДЕЛЬ (Godel) Курт (1906-78), логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя), из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики." http://mega.km.ru/bes_98/encyclop.asp?topicnumber=14125&search=%C3%E5%E4%E5%EB%FC#srch0
Другими словами: любая математическая теория, включающая в себя арифметику, не имеет средств для доказательств всех своих истинных утверждений. И их истинность - только наше убеждение, вытекающее из практики использования арифметики.
Не закончить ли нам офф-топ? :-)
- Ре: Хорошо - Игорь Куртуков 22.02.2002 20:11:32 (438 b)
