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

[Frank Wimberly]

I wonder what an e. r. relation is.  Equivalence relations are reflexive by
definition.

---
Frank C. Wimberly
140 Calle Ojo Feliz,
Santa Fe, NM 87505

505 670-9918
Santa Fe, NM

On Wed, Feb 2, 2022, 1:37 PM glen <gepropella at gmail.com> wrote:

> 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.
>
>
> .-- .- -. - / .- -.-. - .. --- -. ..--.. / -.-. --- -. .--- ..- --. .- - .
> FRIAM Applied Complexity Group listserv
> Zoom Fridays 9:30a-12p Mtn UTC-6  bit.ly/virtualfriam
> un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com
> FRIAM-COMIC http://friam-comic.blogspot.com/
> archives:
>  5/2017 thru present https://redfish.com/pipermail/friam_redfish.com/
>  1/2003 thru 6/2021  http://friam.383.s1.nabble.com/
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20220202/7b6c786a/attachment.html>