Начала современного естествознания - рекурсивный

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

Начала современного естествознания. Тезаурус. — Ростов-на-Дону

В.Н. Савченко, В.П. Смагин

2006

.