(от лат. recursio — возвращение) — возвращающий к прошлому, к предшествующему; рекурсивные функции — функции, значения которых для данного аргумента вычисляются с помощью значений для предшествующих аргументов. В 1931 году австрийский математик и логик Курт Гедель доказал с помощью рекурсивных функций теорему о невозможности полной аксиоматизации арифметики, которая в расширенном значении трактуется как теорема о неполноте любой системы.
Начала современного естествознания. Тезаурус. — Ростов-на-Дону. В.Н. Савченко, В.П. Смагин. 2006.