Thanks, Marcus. How often are proofs with errors published in refereed articles or textbooks?
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. Totally non sequitur: my daughter's best friend in highschool was Wolfenstein's daughter. Frank ----------------------------------- Frank Wimberly My memoir: https://www.amazon.com/author/frankwimberly My scientific publications: https://www.researchgate.net/profile/Frank_Wimberly2 Phone (505) 670-9918 On Sat, Apr 27, 2019, 7:04 PM Marcus Daniels <[email protected]> wrote: > 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. > > > > *From:* Friam <[email protected]> *On Behalf Of *Frank Wimberly > *Sent:* Saturday, April 27, 2019 6:55 PM > *To:* The Friday Morning Applied Complexity Coffee Group < > [email protected]> > *Subject:* Re: [FRIAM] A question for tomorrow > > > > I'm not following. What has LaTex vs Mathematica got to do with the > proofs in question? > > > > ----------------------------------- > Frank Wimberly > > My memoir: > https://www.amazon.com/author/frankwimberly > > My scientific publications: > https://www.researchgate.net/profile/Frank_Wimberly2 > > Phone (505) 670-9918 > > > > On Sat, Apr 27, 2019, 6:52 PM Marcus Daniels <[email protected]> wrote: > > Russell writes: > > < 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 :). > > > Minimally, why is LaTeX the preferred format and not, say, Mathematica? > At least the latter makes it complete and computable. > > Marcus > ============================================================ > FRIAM Applied Complexity Group listserv > Meets Fridays 9a-11:30 at cafe at St. John's College > to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com > archives back to 2003: http://friam.471366.n2.nabble.com/ > FRIAM-COMIC http://friam-comic.blogspot.com/ by Dr. Strangelove > > ============================================================ > FRIAM Applied Complexity Group listserv > Meets Fridays 9a-11:30 at cafe at St. John's College > to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com > archives back to 2003: http://friam.471366.n2.nabble.com/ > FRIAM-COMIC http://friam-comic.blogspot.com/ by Dr. Strangelove >
============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives back to 2003: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ by Dr. Strangelove
