dinduction
Dinduction is a term that lacks a single, widely accepted definition. It appears in a few niche contexts as a neologism or shorthand, and in many sources it is either undefined or treated as a misspelling of ordinary induction. Because of this, the term is best understood through the ideas it is sometimes associated with rather than as a precise technical term.
Possible interpretations include two-dimensional induction (also called double induction) in mathematics, where a statement depends on
Another suggested meaning reflects a proposed method in theoretical computer science or logic, referring to induction
Because of the lack of standardization, citations for dinduction are sparse, and the term is best treated
See also: mathematical induction; strong induction; two-dimensional induction; double induction; structural induction.