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