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