Prathyush Profile picture
Map maker @patternatlas ∩ Interface Engineer @prabros

Jun 20, 2020, 5 tweets

Seeing this tweet sparked a thought that iteration could be cast as a sort of dual of recursion. The idea in @CentrlPotential’s tweet is called factoring out the characteristic equation of a recurrence relation.

The characteristic equation extracted out can be used to arrive at Binet’s formula via Umbral Calculus. This formula is used to calculate the nth Fibonacci number.

Conversely, golden ratio is approximated through iteration of ratios of successive Fibonacci numbers.

Making this post, transported me 8 years back to 2012, when I posted this question on Quora: quora.com/Can-all-iterat…

It would be cool if math equations are represented in a computation language which can be evaluated partially. Intermediate results would be stored as continuations which as per the user’s wish can be resumed at a different time or machine.

A compiler here would act as a bookkeeper of facts that will track fixed points for recurrence relation like fib(1) = 1. This means when fib(1) gets performed it will use the stored state. This idea eliminates the need for a certain class of conditionals in programs/equations.

Share this Scrolly Tale with your friends.

A Scrolly Tale is a new way to read Twitter threads with a more visually immersive experience.
Discover more beautiful Scrolly Tales like this.

Keep scrolling