Обычно наоборот. Сначала практика, а потом выясняется, что вооон тот разрабатываемый раздел математики в качестве языка описания будет в самый раз. Увы, не в теме, может, модальные логики имеют няшные применения.
21 февраля 1946 года родился английский актёр и режиссёр
Алан Рикман (Alan Rickman)
Известный своим глубоким, томным голосом, он обучался в Королевской академии драматического искусства в Лондоне и стал членом Королевской Шекспировской труппы, выступая в современных и классических театральных постановках.