Что означает полнота по Тьюрингу шаблонов C ++?

Я часто слышу, что шаблоны C ++ завершены по Тьюрингу. Что это значит?

Мой предыдущий поиск привел меня к ссылкам [1] а также [2] что хорошо, но они не отвечают на то, что я спрашиваю.

он способен выражать общую рекурсию, просто используя шаблоны, которые ссылаются на себя, и используя специализацию шаблонов для принятия решений.

Является ли рекурсия и принятие решения эквивалентными полноте по Тьюрингу?

Может ли кто-нибудь объяснить требования полноты по Тьюрингу в аспекте программирования (не в аспекте информатики)?