Reflection On Recursion • 3

One other feature of syntactic recursion deserves to be brought into higher relief.  Evidence of it can be found in the recursion diagram by examining the places where three paths meet.  On the descending side there is the point where three paths diverge.  On the ascending side there is the point where the middlemost of the three divergent paths joins the upshot arrow in medias res.

Simple Recursion

The arrows of the diagram represent functions, a species of dyadic relations, but nodes of degree three signify aspects of triadic relations somewhere in the mix.

  • The three arrows from the initial node represent a function F : \mathbb{N} \to \mathbb{N} \times \mathbb{N} \times \mathbb{N} such that F(n) = ( p(n), n, f(n) ).
  • The three arrows at the penultimate node represent a function m : \mathbb{N} \times \mathbb{N} \to \mathbb{N} such that m(j, k) = jk.

For the sake of a first approach, many questions about triadic relations which might arise at this point can be safely left to later discussions, since the current level of generality is comprehensible enough in functional terms.

Resources

cc: Academia.eduCyberneticsLaws of FormMathstodon
cc: Research GateStructural ModelingSystems ScienceSyscoi

This entry was posted in Arithmetization, C.S. Peirce, Gödel Numbers, Higher Order Sign Relations, Inquiry Driven Systems, Inquiry Into Inquiry, Logic, Mathematics, Quotation, Recursion, Reflection, Reflective Interpretive Frameworks, Semiotics, Sign Relations, Triadic Relations, Use and Mention, Visualization and tagged , , , , , , , , , , , , , , , , . Bookmark the permalink.

1 Response to Reflection On Recursion • 3

  1. Pingback: Survey of Inquiry Driven Systems • 7 | Inquiry Into Inquiry

Leave a comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.