Здравствуйте, Khimik, Вы писали:

K>Возникает вопрос: можно ли разработать эвристические приёмы, которые переводят “интуитивно-понятное” в “формализованно-понятное”?

Ув. Khimik! Именно этой проблемой занимается математика, в частности — алгебра. Алгебра позволяет вывести и зафиксировать *любые* закономерности в абстрактных символах.

Дилемма состоит в том, что большинство специалистов функционирует в своих областях (например, химия), не осознавая глубину доступных средств из соседних областей (математика).

То же самое происходит и с программистами — в массе своей они склонны думать, что программирование это одно, а математика — совсем другое. Но если смотреть глубже, то оказывается что программа — это набор связанных математических выражений к которым добавлена операция условного перехода, обеспечивающая полноту по Тьюрингу, и это вообщем-то всё.

Те же из редких программистов, которые прикасаются к Лиспу (языку программирования), начинают понимать эти связи и в их в голове происходит Большой Взрыв — из казалось бы пустоты и непонятности открывается целая вселенная всепроникающего познания.

Математики, в свою очередь, тоже обладают профдиформацией — некоторые из них могут смотреть на все через призму чисел, некоторые ударяются в непрерывность, отвергая дискретность, забывая что непрерывность это просто инструмент познания. Видели какие программы пишут математики? Зачастую это нагроможденные клубки кода с магическими числами которые могут работать только с числами с плавающей точкой.

Чему стоит научится — интердисциплинарному взгляду на вещи. Тогда многие двери открываются намного легче.

В важей задаче с циклами в молекуле вам уже советовали граф. Граф является очень мощной структурой абстрактного представления элементов и связей между ними, а такие примитивы как транспонирование и инверсия позволяют эффективно находить решения казалось бы нерешаемых задач! Раздел математики "Топология" как раз и занимается такими проблемами, в т.ч. нахождением циклов в графе.

Если бы вы знали это до того, как начали решать задачу "в лоб", то формальное решение бы было найдено за 3 дня и оно было бы доказаным и правильным. В нем не было бы изьянов. Оно было бы крепким и сияющим как алмаз. Оно было бы надежным кирпичом в фундаменте. На него можно было бы всегда пололожится и никогда более к этой проблеме не возвращаться, так как она была бы уже решенной.

Дирижирует же всем процессом познания философия — наука об искусстве нахождения границ возможного. Именно поэтому ее преподают в ВУЗах. Чтобы заставить слушателей задуматься: а где же эти границы? Так ли они известны как кажется? Или все привычные каноны это всего лишь иллюзия вызванная неведением?

Здравствуйте, Khimik, Вы писали:

K>Возникает вопрос: можно ли разработать эвристические приёмы, которые переводят “интуитивно-понятное” в “формализованно-понятное”?

Ув. Khimik! Именно этой проблемой занимается математика, в частности — алгебра. Алгебра позволяет вывести и зафиксировать *любые* закономерности в абстрактных символах.

Дилемма состоит в том, что большинство специалистов функционирует в своих областях (например, химия), не осознавая глубину доступных средств из соседних областей (математика).

То же самое происходит и с программистами — в массе своей они склонны думать, что программирование это одно, а математика — нечто совсем другое. Но если смотреть глубже, то оказывается что программа — это набор связанных математических выражений к которым добавлена операция условного перехода, обеспечивающая полноту по Тьюрингу, и это вообщем-то всё.

Те же из редких программистов, которые прикасаются к Лиспу (языку программирования), начинают понимать эти связи и в их в голове происходит Большой Взрыв — из казалось бы пустоты и непонятности открывается целая вселенная всепроникающего познания.

Математики, в свою очередь, тоже обладают профдеформацией — некоторые из них могут смотреть на все через призму чисел, некоторые ударяются в непрерывность, отвергая дискретность, забывая что непрерывность это просто инструмент познания. Видели какие программы пишут математики? Зачастую это нагроможденные клубки кода с магическими числами которые могут работать только с числами с плавающей точкой.

Чему стоит научится — интердисциплинарному взгляду на вещи. Тогда многие двери открываются намного легче.

В важей задаче с циклами в молекуле вам уже советовали граф. Граф является очень мощной структурой абстрактного представления элементов и связей между ними, а такие примитивы как транспонирование и инверсия позволяют эффективно находить решения казалось бы нерешаемых задач! Раздел математики "Топология" как раз и занимается такими проблемами, в т.ч. нахождением циклов в графе.

Если бы вы знали это до того, как начали решать задачу "в лоб", то формальное решение бы было найдено за 3 дня и оно было бы доказаным и правильным. В нем не было бы изьянов. Оно было бы крепким и сияющим как алмаз. Оно было бы надежным кирпичом в фундаменте. На него можно было бы всегда пололожится и никогда более к этой проблеме не возвращаться, так как она была бы уже решенной.

Дирижирует же всем процессом познания философия — наука об искусстве нахождения границ возможного. Именно поэтому ее преподают в ВУЗах. Чтобы заставить слушателей задуматься: а где же эти границы? Так ли они известны как кажется? Или все привычные каноны это всего лишь иллюзия вызванная неведением?