Ответьте, математики: "Кто занимается формализацией, тот закладывает душу дьяволу?" Есть ли в этом доля истины?

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

Каждый, наверное, обращал внимание на только что выстроенный дом. Этаж поднимается за этажом, одинаковые лестничные марши, одинаково идущие коридоры, одинаковое расположение дверей в квартиры, одинаково распланированные квартиры, находящиеся одна над другой, - четкость, общность, одинаковость.

Но вот в дом въехали жильцы. Они устраиваются на новоселье каждый по-своему, и квартиры-близнецы - от первого до последнего этажа утрачивают одинаковость: разная обстановка делает квартиры индивидуальными, неповторимыми.
Грубо говоря, наука изучает именно сам «дом» природы, его «незаселенный вариант» - только те общие закономерности, те объективные его черты, которые и объединяют для нас разные предметы в единые классы и группы.
Самый распространенный из формальных языков - язык математики.

Научное познание прибегает к упрощениям, чтобы выявить «жесткие» черты изучаемого предмета, уточнить его свойства, очертить его контур, узнать его «конструкцию» . Какой бы принцип - отождествление, идеализация, упрощение, абстракция - ни был положен в основу метода познания, всегда идет «огрубление» , «заострение» , выделение главного, общего.

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

Однако такое суждение неверно: как бы ни казались формулы, символы существующими сами по себе, формализация, оперирующая ими, всегда, везде, во всем - процесс выявления различных сторон реального мира. Формализованная наука лишь тогда имеет смысл, когда корректна, правильна, плодотворна.