CowboyHugges, с КАТМА очень разные люди выходят. Насчет параллельных - смысл уточнения состоял в том, что непересекаемость прямых - это определение параллельных. А уже потом начинаются аксиомы и утверждения. Насчет произвольности выбора надо говорить подробней, но в математическом языке это слово не имеет коннотаций иных языков, так что начинать надо отсюда. Касательно же теоремы Геделя - так ее вообще надо поосторожней привлекать при разм ышлениях по аналогии об утверждениях на естественных языках.
Материалист, Вы решили отстоять науку от заблуждений Фридмана? )) Статья же интересна и тем, что наглядно показывает, что в научном мировоззрении достаточно много своеобразной "веры" и сознательного действия в отказе от классической рациональности.
|