recursive function


Also found in: Encyclopedia, Wikipedia.

recursive function

n
1. (Logic) logic maths a function defined in terms of the repeated application of a number of simpler functions to their own values, by specifying a base clause and a recursion formula
2. (Mathematics) logic maths a function defined in terms of the repeated application of a number of simpler functions to their own values, by specifying a base clause and a recursion formula
References in periodicals archive ?
Remark: This result can also be obtained as a consequence of a theorem of Ehrenfeucht and Mycielski which states that, if T + [logical not][alpha] is undecidable, then there is no recursive function f such that [W.
And Kurt GE[micro]del worked on the incompleteness theory and recursive function theory.
With the EP data model that is semantically equivalent to a class of total recursive function, a monolithic architecture becomes available again for database applications.
In Section V of his 1981 paper, Tait argues that every primitive recursive function f : A [right arrow] B is finitist in the sense that the finitist can accept it as a construction of a B from an arbitrary A.
We describe recursive function definitions in Section 2.
The hash function will be decomposed into a truly recursive function followed by a nearly trivial "address" function that maps the result of the recursive part into the appropriate address format.
A formal definition of a recursive function is beyond this level.
Furthermore, if we conceive of Church's Thesis as asserting that a function is 'intuitively' computable if and only if it is a partial recursive function (and this is surely a common conception of Church's Thesis), then the presupposition in Young [1977] amounts to no more than the application of the if direction of Church's Thesis to the resource bounded computations of complexity theory.
Topics include combating NBTI degradation via gate sizing, characterizing standard cell behavior at 90nm and below, speculative energy scheduling for LDPC decoding, and recursive function smoothing of half-perimeter wire length for analytical placement.
T] is refined even by a "nonterminating" expression such as an application of the recursive function f where f ?
crispness and simplicity of the undecidability results and basic recursive function theory.
Full browser ?