tag:blogger.com,1999:blog-3722233.post5027545180915376301..comments2021-09-21T04:14:03.225-05:00Comments on Computational Complexity: If Bill Tweeted what would he tweet (Steve Jobs Edition)Lance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger7125tag:blogger.com,1999:blog-3722233.post-32874625459290498592011-12-08T11:44:48.738-06:002011-12-08T11:44:48.738-06:00Keith Ramsey is right. From A \/ B, you do a case ...Keith Ramsey is right. From A \/ B, you do a case analysis.<br /><br />1) Case A. From A and A->False, you derive False. From False, you derive B.<br /><br />2) Case B is trivial.David Monniauxhttp://www-verimag.imag.fr/~monniaux/noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-71349622024075297712011-10-28T10:53:00.305-05:002011-10-28T10:53:00.305-05:00Tweet #7 may be a set-up. Whatever the case, it i...Tweet #7 may be a set-up. Whatever the case, it is quite amusing.Jim Blairnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-34352500204143335352011-10-13T08:23:36.045-05:002011-10-13T08:23:36.045-05:00How would they prove that "A or B" commi...How would they prove that "A or B" committed the crime? Prove is the strong word. If they have such evidence and known that A didn't do it, they would be able to simply present the evidence against B.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-85796943508007318052011-10-13T03:33:00.723-05:002011-10-13T03:33:00.723-05:00Since it's valid to infer B from "A or B&...Since it's valid to infer B from "A or B" and "not A" in intuitionistic logic, perhaps a better line would be, "You've shown that assuming my client's innocence leads to a contradiction, but you haven't exhibited a witness to his guilt."Keith Ramsayhttps://www.blogger.com/profile/00464671674528392928noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-52628905762850812422011-10-12T20:53:21.238-05:002011-10-12T20:53:21.238-05:00RE: #9, the defense could draw a venn-diagram. Of ...RE: #9, the defense could draw a venn-diagram. Of course, if it's a trial by jury... ooof... good luck. :(Ahttps://www.blogger.com/profile/02715495667566510040noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-16919588936426459502011-10-12T17:59:17.632-05:002011-10-12T17:59:17.632-05:00There is a large difference between failing to pro...There is a large difference between failing to prove the A committed the crime and proving that A did not commit the crime.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-89101543231980831092011-10-12T15:22:33.587-05:002011-10-12T15:22:33.587-05:00Criminal law would be a superlative place for intu...Criminal law would be a superlative place for intuitionistic, as opposed to truth, semantics!<br /><br />I have proved that A or B committed the crime. I have failed to prove that A committed the crime. Hence I do not conclude that B must have committed the crime.Davidnoreply@blogger.com