In a paper published in 1964, Rota used umbral methods to establish the recursion formula satisfied by the Bell numbers, which enumerate partitions of finite sets.
В статье 1964 года Рота использовал теневые методы для установления формулы рекурсии, которой удовлетворяют числа Белла, которые подсчитывают число разбиений конечных множеств.
Other results
Its value can be described using a recursion relation or using generating functions, but unlike binomial coefficients there is no closed formula for these numbers that does not involve a summation.
Значения можно описать с помощью рекуррентного отношения или с помощью произвводящих функций, но, в отличие от биномиальных коэффициентов, не существует выражения в замкнутой форме для этих чисел, не использующее суммирование.
He often applied the formula in his research and "wondered if there were other interesting functions of graphs, invariant under isomorphism, with similar recursion formulae."
Он часто использовал формулу в исследованиях и «удивлялся, когда обнаруживал другие интересные функции на графах, инвариантные относительно изоморфизмов, с похожими рекурсивными формулами».
The paper also points out that the recursion can accommodate arbitrary gap penalization formulas: A penalty factor, a number subtracted for every gap made, may be assessed as a barrier to allowing the gap.
В статье также указывается, что рекурсия может быть адаптирована и на случай любой формулы для штрафа за разрыв: Штраф за разрыв - число, вычитаемое за каждый разрыв, - может рассматриваться, как помеха появлению разрывов в выравнивании.
Church subsequently modified his methods to include use of Herbrand-Gödel recursion and then proved (1936) that the Entscheidungsproblem is unsolvable: there is no generalized algorithm that can determine whether a well formed formula has a "normal form".
Чёрч впоследствии изменил свои методы, включив использование рекурсии Хербранда-Гёделя, а затем доказал (1936), что проблема разрешения неразрешима: нет обобщенного алгоритма, который может определить, имеет ли корректно сформулированная формула «нормальную форму».
Church subsequently modified his methods to include use of Herbrand-Gödel recursion and then proved (1936) that the Entscheidungsproblem is unsolvable: there is no algorithm that can determine whether a well formed formula has a "normal form".
Чёрч впоследствии изменил свои методы, включив использование рекурсии Хербранда-Гёделя, а затем доказал (1936), что проблема разрешения неразрешима: нет обобщенного алгоритма, который может определить, имеет ли корректно сформулированная формула «нормальную форму».