ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Четверг
28 марта
806207 Топик полностью
Ксения (03.01.2018 13:38 - 13:41, просмотров: 233) ответил Boвa на "эффективные решения были не выведены логически" - 1)Методы получения эффективных решений выведены методом проб и ошибок. 2)Изначальная аксиоматика логики выведена методом проб и ошибок да еще и криво - так например глюки теории множеств просто
Не важно, как были выведены "методы получения эффективных решений", а важно лишь то, что после своего вывода они экономят массу времени и сил. Предположим, что первый токарный станок был вырублен каменным зубилом из куска метеоритного железа :), но суть именно в том, что больше этот подвиг повторять не надо - с этих пор детали для новых токарных станков будут изготавливать на старых станках, а не каменным зубилом. И вся математика такова - пользуясь теоремой Пифагора, вы не выводите каждый раз вручную ее формулу. Т.е. логика когда-то произошла из практики, где эту логику кто-то внимательный подметил в происходящих явлениях, но вторично велосипед изобретать не приходится. И если мы обращаемся за помощью к теориям, то это совершенно не значит, что пользуемся методом проб и ошибок, которые когда-то стояли у истоков этих теорий.