ТЕО́РИЯ, -и, ж. 1. Логическое обобщение опыта, общественной практики, отражающее закономерности развития природы и общества. Теория имеет очень сильное влияние на практику. Чернышевский, Лессинг, его время, его жизнь и деятельность. (Малый академический словарь, МАС)
1. свойство по значению прилагательного вычислимый; возможность вычислить что-либо (Викисловарь)
ТЕО́РИЯ, -и, ж. 1. Логическое обобщение опыта, общественной практики, отражающее закономерности развития природы и общества. Теория имеет очень сильное влияние на практику. Чернышевский, Лессинг, его время, его жизнь и деятельность.
Все значения слова «теория»1. свойство по значению прилагательного вычислимый; возможность вычислить что-либо
Все значения слова «вычислимость»Следующим направлением в развитии экономической теории стала классическая политическая экономика.
Отсюда следует, что транслятор может использовать информацию о типах для проверки вычислимости и правильности различных конструкций.