|
A recursive definition is one that defines something in terms of itself, albeit in a useful way. For that to work, the definition in any given case must be well founded, avoiding an infinite regress. Sometimes inductive definition is used as a synonym. A visual form of recursion known as the Droste effect. ...
An infinite regress is a series of propositions arises if the truth of proposition P1 requires the support of proposition P2, and for any proposition in the series Pn, the truth of Pn requires the support of the truth of Pn+1. ...
Look up Synonym in Wiktionary, the free dictionary. ...
The difference between a circular definition and a recursive definition is that a recursive definition must have base cases, cases that satisfy the definition without being defined in terms of the definition itself, and all other cases comprising the definition must be "smaller" (closer to those base cases that terminate the recursion). A circular definition is one that assumes a prior understanding of the term being defined. ...
An example: the prime numbers can be defined as consisting of: In mathematics, a prime number (or a prime) is a natural number that has exactly two (distinct) natural number divisors. ...
- 2, the smallest prime;
- each positive integer which is not evenly divisible by any of the primes smaller than itself.
The integer 2 is our base case; checking the primality of any larger integer X requires us to know the primality of every integer between X and 2, but each such integer is closer to our base case of 2 than X is. II redirects here. ...
In contrast, a circular definition has no base cases and defines itself in terms of itself, rather than a version of itself closer to a base case. This leads to a vicious circle. Thus, the quip of "Recursive definition: see Recursive definition" is inaccurate: this is a circular definition. Vicious Circle is an album released in 1995 by L.A. Guns. ...
It is chiefly in logic or computer programming that recursive definitions are found. For example, a "well formed formula" (WFF) can be defined as:
- a symbol which stands for a proposition - like p means "Fred is a lawyer."
- The negation symbol, followed by a WFF - like Np means "It is not true that Fred is a lawyer."
- Any of the four binary connectives (C, A, K, or E) followed by two WFFs. The symbol K means "both are true", so Kpq may mean "Fred is a lawyer and Mary likes music."
The value of such a recursive definition is that it can be used to determine whether any particular string of symbols is "well formed". Proposition is a term used in logic to describe the content of assertions. ...
In logical calculus, logical operators or logical connectors serve to connect statements into more complicated compound statements. ...
- Kpq is well formed, because it's K followed by the atomic WFFs p and q.
- NKpq is well formed, because it's N followed by Kpq, which is in turn a WFF.
- KNpNq is K followed by Np and Nq; and Np is a WFF, etc.
The computer language LISP has a similar definition, and some fans of LISP have playfully constructed acronyms which are recursive but with an infinite regress. Hackers seem to find this a source of immense amusement. For example, A lisp is a speech impediment, historically also known as sigmatism. ...
An infinite regress is a series of propositions arises if the truth of proposition P1 requires the support of proposition P2, and for any proposition in the series Pn, the truth of Pn requires the support of the truth of Pn+1. ...
This rendering of a likeness of grey hat hacker Adrian Lamo highlights the mystique surrounding hackers in the context of issues of right and wrong in the digital age. ...
- GNU means "GNU (is) Not Unix" (or "GNU's Not Unix").
|
Feeds |
Contact