<div dir="auto">I wonder what an e. r. relation is.  Equivalence relations are reflexive by definition.<br><br><div data-smartmail="gmail_signature">---<br>Frank C. Wimberly<br>140 Calle Ojo Feliz, <br>Santa Fe, NM 87505<br><br>505 670-9918<br>Santa Fe, NM</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Feb 2, 2022, 1:37 PM glen <<a href="mailto:gepropella@gmail.com">gepropella@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">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.<br>
<br>
On 2/2/22 12:20, Stephen Guerin wrote:<br>
> Two days after Christmas, your signature switched to<br>
> <br>
>     --<br>
>     glen<br>
>     Theorem 3. There exists a double master function.<br>
> <br>
> <br>
> <br>
> <br>
>  From Recursion Theory for MetaMathematics <<a href="http://www.logic-books.info/sites/default/files/recursion_theory_for_metamathematics_oxford_logic_guides.pdf" rel="noreferrer noreferrer" target="_blank">http://www.logic-books.info/sites/default/files/recursion_theory_for_metamathematics_oxford_logic_guides.pdf</a>><br>
> <br>
> image.png<br>
> <br>
> I am intrigued but not mathematically fluent enough to get to an intuition. Did this come up earlier in the list that I missed?<br>
> <br>
> Can you explain in another way?  What relation, if any, might there be to my obsession with bidirectional diffusion (flood fill) algorithms)<br>
> <br>
<br>
-- <br>
glen<br>
Theorem 3. There exists a double master function.<br>
<br>
<br>
.-- .- -. - / .- -.-. - .. --- -. ..--.. / -.-. --- -. .--- ..- --. .- - .<br>
FRIAM Applied Complexity Group listserv<br>
Zoom Fridays 9:30a-12p Mtn UTC-6  <a href="http://bit.ly/virtualfriam" rel="noreferrer noreferrer" target="_blank">bit.ly/virtualfriam</a><br>
un/subscribe <a href="http://redfish.com/mailman/listinfo/friam_redfish.com" rel="noreferrer noreferrer" target="_blank">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br>
FRIAM-COMIC <a href="http://friam-comic.blogspot.com/" rel="noreferrer noreferrer" target="_blank">http://friam-comic.blogspot.com/</a><br>
archives:<br>
 5/2017 thru present <a href="https://redfish.com/pipermail/friam_redfish.com/" rel="noreferrer noreferrer" target="_blank">https://redfish.com/pipermail/friam_redfish.com/</a><br>
 1/2003 thru 6/2021  <a href="http://friam.383.s1.nabble.com/" rel="noreferrer noreferrer" target="_blank">http://friam.383.s1.nabble.com/</a><br>
</blockquote></div>