Отложим пока задачи и поговорим об одном из красивейших направлений математики, теории групп. Понятие группы ввел Эварист Галуа в первой половине XIX века. С тех пор группы проникли в разные области казалось бы с ними не связанные, например в дифференциальные уравнения с частными производными. Так что же такое группа? Прежде чем определиться с понятием группы нужно понять, что такое «алгебра». Алгебра — пара множеств A=<M, O>, где M – множество элементов любого типа, а O – множество замкнутых операций заданных на M...

Около полутора лет назад я опубликовал на Хабре статью под названием "Слово Божие — функциональное программирование как основа Вселенной", в которой я рассказывал про лямбда-исчисление и про то, как программу любой сложности можно свести к алгоритму на базе всего трёх SKI-комбинаторов или же одного единственного йота-комбинатора. В ней мы разобрались с алфавитом божественного языка, на котором написана книга мироздания. Теперь же пришло время разобраться с его грамматикой. В посте "Эйлер, Чёрч и...