Re: A question for tomorrow

Posted by Frank Wimberly-2 on Apr 28, 2019; 1:14am
URL: http://friam.383.s1.nabble.com/A-question-for-tomorrow-tp7593073p7593113.html

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

On Sat, Apr 27, 2019, 7:04 PM Marcus Daniels <[hidden email]> 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 <[hidden email]> On Behalf Of Frank Wimberly
Sent: Saturday, April 27, 2019 6:55 PM
To: The Friday Morning Applied Complexity Coffee Group <[hidden email]>
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 [phone]

 

On Sat, Apr 27, 2019, 6:52 PM Marcus Daniels <[hidden email]> 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