В теме предлагается конкретный пример эскизного описания решения реальной задачи. На котором каждый желающий может продемонстрировать свои законченные подходы к дальнейшей формализации. И/или предложить какие-то частные идеи.
Предполагается, что желающие будут как-то учитывать математику (ну и логику - взаимосвязанную, допустим, так, как это видитО.Е. Акимов) применительно к данному предмету. Оценивая свою математическую культуру как скромную, автор тем не менее понимает роль математики в процессе формализации.Поэтому всевозможные заявления типа "опять теоретики и преподаватели посылают читать" здесь в игноре. А вот когнитивный показ логико-математических аспектов своих идей приветствуется. Если конечно, идеи доходят до этой стадиипроцесса- что необязательно, они м.б. и качественного порядка.

Конечно, если конструктивное обсуждение завяжется - то в его ходе представление о процессе почти наверняка изменится.