Published April 2, 2023
| Version v1
Preprint
Open
An Application of Inductive Anvaya
Authors/Creators
Description
In this note, the author uses a combination of mathematical induction and anvaya from Indian logic in order to deduce properties of a list of objects. The objects are of a specific, `nested' type. For these objects, it is shown that for any object in the list, the object inheres in the previous one.
Notes
3 pages. Addendum: The objects, as constructed have a forward inherence. The reverse inherence is superposed on the forward inherence, being given in the base case and being assumed in the k-th case.:
Files
inductiveanvayav9forZenodo.pdf
Files
(121.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:3347658732112c85c23b81ae43eafef7
|
121.6 kB | Preview Download |