<div dir="auto">Thanks, Marcus.<div dir="auto"><br></div><div dir="auto">How often are proofs with errors published in refereed articles or textbooks?</div><div dir="auto"><br></div><div dir="auto">Hywel told me about a case in which Lincoln Wolfenstein got the sign wrong in the conclusion of a long article about neutrinos. A result was that his article was cited much more than a typical one in physics.</div><div dir="auto"><br></div><div dir="auto">Totally non sequitur: my daughter's best friend in highschool was Wolfenstein's daughter.</div><div dir="auto"><br></div><div dir="auto">Frank<br><br><div data-smartmail="gmail_signature" dir="auto">-----------------------------------<br>Frank Wimberly<br><br>My memoir:<br><a href="https://www.amazon.com/author/frankwimberly">https://www.amazon.com/author/frankwimberly</a><br><br>My scientific publications:<br><a href="https://www.researchgate.net/profile/Frank_Wimberly2">https://www.researchgate.net/profile/Frank_Wimberly2</a><br><br>Phone (505) 670-9918</div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Apr 27, 2019, 7:04 PM Marcus Daniels <<a href="mailto:marcus@snoutfarm.com">marcus@snoutfarm.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div lang="EN-US" link="blue" vlink="purple">
<div class="m_2941110739666930626WordSection1">
<p class="MsoNormal">One reason it could be hard to follow something is because an implication is just not there, or notation is used in a contradictory fashion. These are that a computer just won’t tolerate. At least convince a computer that conclusions
follow from premises and then I’ll bother to spend hours on it. A proof is just a best effort, so use machines to make it as good as it can be.
<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal"><b>From:</b> Friam <<a href="mailto:friam-bounces@redfish.com" target="_blank" rel="noreferrer">friam-bounces@redfish.com</a>> <b>On Behalf Of
</b>Frank Wimberly<br>
<b>Sent:</b> Saturday, April 27, 2019 6:55 PM<br>
<b>To:</b> The Friday Morning Applied Complexity Coffee Group <<a href="mailto:friam@redfish.com" target="_blank" rel="noreferrer">friam@redfish.com</a>><br>
<b>Subject:</b> Re: [FRIAM] A question for tomorrow<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<p class="MsoNormal">I'm not following. What has LaTex vs Mathematica got to do with the proofs in question?<u></u><u></u></p>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<p class="MsoNormal">-----------------------------------<br>
Frank Wimberly<br>
<br>
My memoir:<br>
<a href="https://www.amazon.com/author/frankwimberly" target="_blank" rel="noreferrer">https://www.amazon.com/author/frankwimberly</a><br>
<br>
My scientific publications:<br>
<a href="https://www.researchgate.net/profile/Frank_Wimberly2" target="_blank" rel="noreferrer">https://www.researchgate.net/profile/Frank_Wimberly2</a><br>
<br>
Phone (505) 670-9918<u></u><u></u></p>
</div>
</div>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<div>
<p class="MsoNormal">On Sat, Apr 27, 2019, 6:52 PM Marcus Daniels <<a href="mailto:marcus@snoutfarm.com" target="_blank" rel="noreferrer">marcus@snoutfarm.com</a>> wrote:<u></u><u></u></p>
</div>
<blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0in 0in 0in 6.0pt;margin-left:4.8pt;margin-right:0in">
<p class="MsoNormal">Russell writes:<br>
<br>
< However, conversely, there appear to interesting results that indicate P=NP for random oracle machines. There is some controversy over this, though, and personally, I've never been able to follow the proofs in the area :). ><br>
<br>
Minimally, why is LaTeX the preferred format and not, say, Mathematica? At least the latter makes it complete and computable.<br>
<br>
Marcus<br>
============================================================<br>
FRIAM Applied Complexity Group listserv<br>
Meets Fridays 9a-11:30 at cafe at St. John's College<br>
to unsubscribe <a href="http://redfish.com/mailman/listinfo/friam_redfish.com" target="_blank" rel="noreferrer">
http://redfish.com/mailman/listinfo/friam_redfish.com</a><br>
archives back to 2003: <a href="http://friam.471366.n2.nabble.com/" target="_blank" rel="noreferrer">
http://friam.471366.n2.nabble.com/</a><br>
FRIAM-COMIC <a href="http://friam-comic.blogspot.com/" target="_blank" rel="noreferrer">http://friam-comic.blogspot.com/</a> by Dr. Strangelove<u></u><u></u></p>
</blockquote>
</div>
</div>
</div>
============================================================<br>
FRIAM Applied Complexity Group listserv<br>
Meets Fridays 9a-11:30 at cafe at St. John's College<br>
to unsubscribe <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>
archives back to 2003: <a href="http://friam.471366.n2.nabble.com/" rel="noreferrer noreferrer" target="_blank">http://friam.471366.n2.nabble.com/</a><br>
FRIAM-COMIC <a href="http://friam-comic.blogspot.com/" rel="noreferrer noreferrer" target="_blank">http://friam-comic.blogspot.com/</a> by Dr. Strangelove<br>
</blockquote></div>