Формализуемость никак не связана с разницей парадигм.
Если будет понятнее, то пусть эльфийская магия будет декларативным программированием, а людская - императивным.
Комп один, принципы одни, а парадигмы разные.