Исходное сообщение
"Ядро Linux 5.8 станет самым крупным по числу изменений" Отправлено Аноним, 19-Июн-20 14:21
> Складывается у меня мнение, что вы не сталкивались с исследовательской работой, и решаете только прикладные задачи, но не занимаетесь разрешением проблем, щас объясню почему. Какой продуктивный выхлоп мы ждем (можем и вовсе не дождаться) от математика пытающегося разрешить какую-либо проблему математическую? Да никакой выхлоп, а какой получим если разрешится какая-либо прикладная проблема? Я сталкивался с обоими. И научные статьи про теоретические алгоритмы писал и прикладным программистом был. От математика мы ждем выхлоп в виде опубликованных научных статей. Этот выхлоп даже пытаются численно оценивать, выводя различные показатели, такие как "h-index", и подобные. От CS математика, мы ожидаем: 1) Формулировки проблемы 2) Формулировки алгоритма 3) Теоретического доказательства верности алгоритма Программисты почти никогда не создают никакие новые теоретические алгоритмы, для которых нужно было бы доказательство корректности. Они либо используют и адаптируют уже существующие теоретические алгоритмы, либо пишут новые банальные простецкие алгоритмы. Там попросту не требуются какие-то доказательства, эти алгоритмы не являются сколько-нибудь теоретически сложными. Там нет каких-то новых техник, подходов и т.п. Как никто не доказывает банальные теоремы и в теоретических статьях: математики очень часто опускают доказательства, если они легко выводимы.