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 <geprope...@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/ >
.-- .- -. - / .- -.-. - .. --- -. ..--.. / -.-. --- -. .--- ..- --. .- - . 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/
