Кстати что такое замкнутая формула , я немного изучал функциональное программирование и замыкания это наверно из этой области , немного погуглил , я так понимаю в формуле нет свободных переменных т.е переменные от которых функция не зависит вообще ?
Неа, три разные вещи:
Здесь замкнутая формула это просто формула, не включающая знаки суммы, произведения, всякие интегралы и не рекуррентная. Какие вещи нельзя использовать, тут зависит от контекста, и обычно замкнутость — это просто чтобы было попроще вычислять или судить о выражении, но если её не выходит, это не фатально.
В логике формулы — это то, что обычно зовут высказываниями, а замкнутые формулы, действительно, не имеют свободных переменных и потому их логическому значению не от чего зависеть, и это полезное свойство.
И замыкание в программировании — это функция вместе со значениями внешних переменных, которые в её коде используются. Возможность порождать замыкания — один из видов инкапсуляции: функция-фабрика определила переменные, вне её невидимые, вернула или куда-то передала одно или несколько замыканий, и они могут общаться через эти переменные или просто хранить в них что-то, отличающееся для разных вызовов фабрики.