tag:blogger.com,1999:blog-3722233.post4477186050786209976..comments2024-06-24T15:24:01.378-05:00Comments on Computational Complexity: Next in the sequenceLance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger10125tag:blogger.com,1999:blog-3722233.post-13797323222485302332011-09-29T20:02:47.087-05:002011-09-29T20:02:47.087-05:00http://spikedmath.com/062.htmlhttp://spikedmath.com/062.htmlAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-51576892930504586032011-09-08T16:23:05.170-05:002011-09-08T16:23:05.170-05:00Oh I entirely agree with you, MathGradStudent. Arg...Oh I entirely agree with you, MathGradStudent. Arguably, a Watson that could <i>compose</i> good Jeopardy questions (which often are witty or punning) would be far more human-like than a Watson capable merely of <i>answering</i> said questions.<br /><br />Similarly, an AI that could compose mathematical definitions that led naturally to good theorems, would be exhibit a higher order of mathematical intelligence than one that proved those theorems.<br /><br />As Michael Spivak has written:<br /><br />---------------------<br />There are good reasons why theorems should all be easy and the definitions hard … Definitions serve a twofold purpose: they are rigorous replacements for vague notions, and machinery for elegant proofs.<br /><br />Stokes' Theorem shares three important attributes with many fully evolved major theorems: (1) It is trivial. (2) It is trivial because the terms appearing in it have been properly defined. (3) It has significant consequences.<br />---------------------<br /><br />Mathematical luminaries who have written upon the key role of good definitions in proving good theorems include Grothendieck, Thurston, and Atiyah … I will leave it to other folks to supply the quotations! :)John Sidleshttps://www.blogger.com/profile/16286860374431298556noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-74580566118920706512011-09-08T13:44:10.206-05:002011-09-08T13:44:10.206-05:00@John Sidles
What you say is true for printing (o...@John Sidles<br /><br />What you say is true for printing (or subtractive color), but the mention of wavelength in a Jeopardy! clue immediately places it in the context of light (or additive color), specifically of increasing wavelength.<br /><br />Even so, when does yellow end and some other color begin? What naming convention are using? Of course, this is a part of Jeopardy! and I doubt Ken Jennings, Brad Rutter or Watson would complain about these minutia.Math grad student formerly employed by a printernoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-81606742142076556342011-09-08T08:15:58.177-05:002011-09-08T08:15:58.177-05:001,2,3 could easily be followed by 51,2,3 could easily be followed by 5Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-20994246127846657012011-09-08T08:03:29.528-05:002011-09-08T08:03:29.528-05:00Nobody in their right mind would answer Nakba Day ...Nobody in their right mind would answer Nakba Day in this context, and while it is not a holiday in any sense and is officially listed (as many things are) as a Federal day of observance, Patriot Day is after Labor Day.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-72091726393635057062011-09-08T06:50:27.146-05:002011-09-08T06:50:27.146-05:00In the world of color printing, any sequence that ...In the world of color printing, any sequence that begins "orange, yellow" is a logical train-wreck right from the start. <br /><br />This is because on a four-color press (that is, a press with the four ink colors cyan, magenta, yellow, black) the color "yellow" is easy to render, whereas a saturated "orange" is out-of-gamut, that is to say, impossible-to-render.<br /><br />High-quality printing therefore requires special presses with larger numbers of inks; as I recall the books of Edward Tufte (author of <i>Visual Display of Quantitative Information</i>) are printed on six-color or possibly even eight-color presses.<br /><br />The bottom line is that for artists and craftspersons in general, and printers in particular, <i>no</i> color sequence is logical, until the details of the color reproduction method have been clearly stated.John Sidleshttps://www.blogger.com/profile/16286860374431298556noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-5476999394222411742011-09-08T03:06:59.369-05:002011-09-08T03:06:59.369-05:00Bill, these are not mathematical questions and tha...Bill, these are not mathematical questions and that is the point! Yes, if you ask what is the word that most often comes next after A, B, C, D then the answer is E, but it is NOT a mathematical question. If you give me a file full of finite sequences of numbers and then give me a partial sequence that appears in one or more of them and ask me what is the next number I can compute the most likely next element. <br /><br />For comparison, what is the next sequence of characters in the following sequence:<br /><br />SHRDX, GTDFDS, ODLQDG, MVNDYE, QPXLGR, ?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-23532525601831394102011-09-07T20:59:48.129-05:002011-09-07T20:59:48.129-05:00I think they're all reasonable, but I also thi...I think they're all reasonable, but I also think your sequence puzzles are reasonable. (I don't subscribe to the usual pedantry.)Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-26391237469611203202011-09-07T20:39:57.535-05:002011-09-07T20:39:57.535-05:00If the numeric sequence were 1,2,3,..., I doubt th...If the numeric sequence were 1,2,3,..., I doubt there would me much debate over the next number.<br /><br />I think there is no doubt that n++ or "Item.Successor()" is that simplest of all possible algorithms that could define a sequence.Mihaihttps://www.blogger.com/profile/11599372864611039927noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-9096785748391819612011-09-07T20:15:48.899-05:002011-09-07T20:15:48.899-05:004 could possibly be followed by either Nakba Day o...4 could possibly be followed by either Nakba Day or Patriot Day (depending on how you might want to interpret FEDERAL HOLIDAY)patnoreply@blogger.com