tag:blogger.com,1999:blog-3722233.post6716643473367189962..comments2020-02-16T18:25:33.023-05:00Comments on Computational Complexity: The answer is either 0,1, or on the boardLance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger12125tag:blogger.com,1999:blog-3722233.post-18482060442108470662014-03-31T12:59:41.744-04:002014-03-31T12:59:41.744-04:00Hartmanis' Alternative How does [open CT post...<b>Hartmanis' Alternative</b> How does [<i>open CT postulate</i>] alter when oracles are [<i>introduced/excluded</i>]?John Sidleshttps://www.blogger.com/profile/16286860374431298556noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-73192841934252920452014-03-30T13:11:32.275-04:002014-03-30T13:11:32.275-04:00I once heard the story about a mathematician's...I once heard the story about a mathematician's wife who always felt excluded at dinner party's. Her husband gave her secret signs so she could say either<br />1) But does this also work in the infinite case?<br />2) Didn't Gauss do this? (indeed!)<br />3) Do you really need a Banach space for that?<br /><br />My favorite trick when I *have* to ask something at a talk I didn't understand is to take any assumption and ask what would happen if the assumption wasn't valid. <br />Ionica Smeetshttp://ionica.nlnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-43600770414500718302014-03-27T21:27:40.638-04:002014-03-27T21:27:40.638-04:00I have heard a story told (probably apocryphal) of...I have heard a story told (probably apocryphal) of a theoretical physicist who always went to experimental talks, sat in the front row, and fell asleep at the beginning of the talk. At the end, he would wake up, and always ask the same question: "What would it be like if you ran you experiment at low temperature?" To which the speaker almost invariably replied, "Ah! That is a very interesting question..." and would expound upon the implications. Of course, one time the response was, "But the whole point of my talk was that we ran the experiment at low temperature." So our theorist said, "Oh, but what I meant was, what if you ran it at really really low temperature?" To which the speaker replied, "Ah! That is a very interesting question..."Fred Greenhttp://babbage.clarku.edu/~fgreen/noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-20177137535463056202014-03-26T11:39:39.796-04:002014-03-26T11:39:39.796-04:00In further regard to Carl Jacobi's Man muss im...In further regard to Carl Jacobi's <i>Man muss immer umkehren</i>, fans of complexity theory, quantum computing, and mathematical history will alike find plenty to enjoy in Edward Van Vleck's AMS Presidential Address "Current tendencies of mathematical research" (1915), which was reprinted in a <b><a href="http://www.ams.org/journals/bull/2000-37-01/S0273-0979-99-00803-4" rel="nofollow">Bulletin of the AMS theme issue</a></b> of the same title (vol 37(1), 2000).<br /><br />At the risk of appreciating Lance's question too seriously, Van Vleck extends Jacobi's to question to (in effect) <i>Man muss immer umkehren, naturalisieren, verallgemeinern</i> ("One must always invert, naturalize, generalize"). And there are plenty of examples of this in Van Vleck's own lecture. E.g. Van Vleck asserts <br /><br />---------<br />"Extension to a countably infinite number of variables commonly affords opportunity for the finest sagacity and insight. An excellent program for work could be found in extension of almost any finite theory. It is your own Professor Moore whom I have heard glowingly preach that to every finite theory there must correspond, under proper limitations, a general transcendental theory with an infinite number of variables."<br />----------<br /><br />By inverting, naturalizing, and generalizing Van Vleck's recommendation, what do we obtain but Cartan, Eilenberg, Mac Lane, and Grothendieck's great program of 20th century algebraic geometry? In which Van Vleck's advice is <i>inverted</i> to extend the continuous to the discrete, and <i>naturalized</i> per the category-theory formalizm of Eilenberg and Mac Lane, and <i>generalized</i> per Zariski's topology and Grothendieck's sheaves and motives?<br /><br />Needless to say, there remain <i>plenty</i> of opportunities to apply Van Vleck's rule in the 21st century. E.g., when we invert, naturalize, generalize the principles of (for example) the great article "Non-abelian anyons and topological quantum computation" (by Nayak, Simon, Stern, Freedman, and Das Sarma, 2008, arXiv:0707.1889v2), then we obtain a program that looks a lot like the scientifically successful "Quantum Hall effect as an electrical resistance standard" (Jeckelmann and Jeanneret, 2003) as instantiated in the <i>mises en pratique</i> of the technologically transformational <b>"<a href="http://www.bipm.org/en/si/new_si/what.html" rel="nofollow">new SI Program</a>"</b> of the <i>Bureau International des Poids et Mesures</i>.<br /><br />Van Vleck's <i>invert, naturalize, and generalize</i> principle substantially informs both <b><a href="http://dabacon.org/pontiff/?p=10610#comment-741175" rel="nofollow">our engineering appreciation of Grothendieck's work</a></b> and the rising mathematical tide of our quantum system engineering <b><a href="http://docs.google.com/file/d/0ByYbFbzq4CGyQzE4dVhKSmwtUVU" rel="nofollow">Green Sheets</a>.</b> <br /><br />These questions are sufficiently fundamental that it would be regrettable if everyone felt alike in regard to them. And so the above historical and technological perspective is offered in the same subversive spirit as Donald Saari's introduction to the <i>Bulletin of the AMS</i>/Van Vleck theme issue: <br /><br />-------<br />"It is hoped that these articles and reviews will encourage readers to enter the dusty, far reaches of a mathematics library to thumb through old Bulletin issues. I promise you a delightful afternoon."<br />-------<br /><br />Similarly, we can reasonably foresee that young researchers who creatively embrace Van Vleck's advice to "invert, naturalize, and generalize" will enjoy delightful 21st century careers. John Sidleshttps://www.blogger.com/profile/16286860374431298556noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-14544942566227400032014-03-26T10:36:28.491-04:002014-03-26T10:36:28.491-04:00In Stephen Potter’s spoof self-help book One-upman...In <a href="http://en.wikipedia.org/wiki/Stephen_Potter" rel="nofollow">Stephen Potter</a>’s spoof self-help book <i>One-upmanship</i> (at least, I think that’s the one), you are advised that you can authoritatively contradict any assertion with the claim “Yes, but not in the south”Paul Goldberghttps://www.blogger.com/profile/10952445127830395305noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-79292634585258842722014-03-25T17:15:31.386-04:002014-03-25T17:15:31.386-04:00In Physics, "Yes, but only in a vacuum."...In Physics, "Yes, but only in a vacuum."<br />Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-84017529137891789812014-03-25T07:25:39.454-04:002014-03-25T07:25:39.454-04:00In applied econometrics the guess is "if only...In applied econometrics the guess is "if only we could find a good instrument(al variable)"Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-8384514206677597932014-03-24T12:09:42.869-04:002014-03-24T12:09:42.869-04:00For a discrete math class I would add 'choose ...For a discrete math class I would add 'choose at random' to your list :-)Anonymoushttps://www.blogger.com/profile/07005308031353116002noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-32066100762222174972014-03-24T09:25:37.680-04:002014-03-24T09:25:37.680-04:00Carl Jacobi Man muss immer umkehren (one must alw...<b>Carl Jacobi</b> <i><b><a href="http://books.google.com/books?id=6s1XAAAAYAAJ&pg=PA11" rel="nofollow">Man muss immer umkehren</a></b></i> (one must always invert)John Sidleshttps://www.blogger.com/profile/16286860374431298556noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-47272861417926995112014-03-24T01:17:38.976-04:002014-03-24T01:17:38.976-04:00Java-Programming:
How do I solve problem XY?
->...Java-Programming:<br />How do I solve problem XY?<br />-> Use a library function.<br /><br />C-Programming:<br />What's wrong with code XY?<br />-> Buffer overflow.<br /><br />Does the NSA do XY?<br />-> Yes.Martin Thomahttps://www.blogger.com/profile/13629221699214248094noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-3959911558676221202014-03-24T00:19:22.982-04:002014-03-24T00:19:22.982-04:00How about: "I don't know, and I'm no...How about: "I don't know, and I'm not going to waste your time BSing."Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-887044717468942152014-03-24T00:01:29.394-04:002014-03-24T00:01:29.394-04:00A variant on this in mathematics is that all you n...A variant on this in mathematics is that all you need to know to be a mathematician is how to add 0, multiply by 1, and (only if you're an applied mathematician) integrate by parts. It's shocking how often these are the things that you do... Brian Borchershttps://www.blogger.com/profile/18216044824246034466noreply@blogger.com