|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Andrey Tarasevich 2:5020/400 03 Nov 2001 05:57:16
To : Yurij Zabelyshynskij
Subject : Re: О мерной линейке
--------------------------------------------------------------------------------
Yurij Zabelyshynskij wrote:
> ...
> Тем, кто знаком с перечисленными авторами и книгами, думаю,
> доказательств достаточно, а тем, кто не знаком и по-прежнему считает
> это решение неверным, думаю, надо продолжить свое математическое
> образование.
> ...
Речь не шла о правильности решения. Речь шла о правильности постановки
задачи. До тех пор пока нет определения прибора "линейка с делениями",
т.е. перечисления производимых данным прибором операций, ни о каком
решении данной задачи речи быть не может. (Это прибор не является
классическим, поэтому ни о какой "общеизвестности" правил обращения с
ним речи быть не может). Hа чем и порешили.
В вышеприведенных замечательных книгах, я уверен, интересующая нас
операция с линейкой декларируется как допустимая и на основе этого
строится решение. Если же там этого не сделано, то решение является
_неправильным_, и читателю такой книги рекомендуется просто взять в руки
красный фломастер и сделать на странице соответствующую пометку.
А что касается знакомства с книгами и их авторами, то здесь я могу
сказать, что в области формальной логики авторитет книг и их авторов не
имеет никакого значения и "доказательством" не является.
Best regards,
Андрей.
--- ifmail v.2.15dev5
* Origin: good enough (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
Re: О мерной линейке 
