[FRIAM] Double Master Function (was Re: bad covid story)

[glen]

No relation at all! I chose that theorem arbitrarily just to distinguish when I post from my newly configured TBird client versus other clients. Never ascribe intelligence where stochasticity will suffice. I could have equally chosen something from Zelazny or Feyerabend, two other members of the set of my favorite people.

On 2/2/22 12:20, Stephen Guerin wrote:
> Two days after Christmas, your signature switched to
> 
>     --
>     glen
>     Theorem 3. There exists a double master function.
> 
> 
> 
> 
>  From Recursion Theory for MetaMathematics <http://www.logic-books.info/sites/default/files/recursion_theory_for_metamathematics_oxford_logic_guides.pdf>
> 
> image.png
> 
> I am intrigued but not mathematically fluent enough to get to an intuition. Did this come up earlier in the list that I missed?
> 
> Can you explain in another way?  What relation, if any, might there be to my obsession with bidirectional diffusion (flood fill) algorithms)
> 

-- 
glen
Theorem 3. There exists a double master function.