Thursday, January 25, 2007

Too Useful to be a Computer Scientist

A conversation I heard about several years ago.
Physicist: Computer scientists have done nothing for quantum computing.

Computer Scientist: What about Shor's quantum factoring algorithm?

Physicist: Peter Shor is a physicist.

This becomes a self-fulfilling prophesy. Once computer scientists have done something physicists care about they cease to be computer scientists and are now physicists.

This view has changed a bit, now we do see a number of physicists (though certainly not all of them) seeing value in many of the tools, techniques and results from computer science. We are also making headway in other fields like economics and biology.

If we want computer science to continue to prosper we need to continue to reach out to other fields and do our best to make them understand the role computer science can play in helping understand their basic questions.

21 comments:

  1. Same thing happens with Mathematicians. I've had almost the same conversation about Agrawal, Kayal and Saxena.

    ReplyDelete
  2. I thought Peter Shor was a mathematician! :)

    Any physicist who says computer scientists have done nothing for quantum computing certainly doesn't work in the field.

    And at some point the distinction between physicist and computer scientist begins to vanish in quantum computing. What am I? I've published in Physical Review Letters, STOC, Nature, and SODA. Am I a computer scientist or a physicist? At some point the label just stops mattering except for telling jokes.

    ReplyDelete
  3. You mean
    "This view has changed a qbit"!

    ReplyDelete
  4. Not only is Peter Shor a computer scientist, so were David Deutsch and John Bell.

    The best defense is a good offense.

    ReplyDelete
  5. >Same thing happens with Mathematicians. >I've had almost the same conversation about >Agrawal, Kayal and Saxena.

    The situation is perhaps different with mathematics than with other fields such as physics, economics or biology.
    Indeed, one can argue that in addition to being a subfield of computer science, theoretical computer science is also a subfield of mathematics.

    ReplyDelete
  6. This is a general property of physicists, at least the condensed matter version of them. To them anything useful is part of their branch of physics and useless things are not.

    ReplyDelete
  7. Scott you forgot the most famous computer scientist in all of physics: Richard Feynman!

    ReplyDelete
  8. Oh no, not another of those set separation questions!

    ReplyDelete
  9. As a once-upon-a-time student of AI, this also reminds me of what AI faced. Solve a problem, and it obviously wasn't AI in the first place. Maybe we needed more physicists!

    ReplyDelete
  10. What do you mean by "If we want computer science to continue to prosper we need to continue to reach out to other fields and do our best to make them understand the role computer science can play in helping understand their basic questions."

    Do you mean that we have to solve their basic questions for them? That's really, really tough. It might even be easier to solve our basic questions (P =? NP, anyone?).

    Or do we have to collaborate with a physicist and help him use computer science to solve his questions? That's easier, but it's still pretty hard. You have to identify a physicist who's willing to collaborate, talk to each other long enough to start speaking each other's languages, find a physics question which computer science techniques can be fruitfully applied to, and help solve it. This can be really worthwhile, but good opportunities for this kind of collaboration don't come up very often.

    Or maybe you mean that we should go down the hall to the physics department, grab one of the professors there by the collar, and tell him: "Look, you idiots. You could get a lot of mileage out of theoretical computer science techniques. You should learn them."

    This last technique is not guaranteed to make friends. Think how theoretical computer scientists react when a mathematician or physicist says that proving P != NP will be easy with their techniques. (I've seen this happen several times, although mathematicians respect this problem a lot more since it became worth a million dollars.)

    ReplyDelete
  11. How about this definition: You're a physicist if you can teach the physics undergrad courses through quantum mechanics. You're a mathematician if you can teach the first undergrad course in abstract algebra or real analysis. What would the analog for computer science be, anyone? Or is the field too diverse, and do we have to define computer scientists by subfields?

    Anyway, if you get a PhD in a interdisciplinary area like quantum computing, you should at least learn enough of one of the disciplines to teach the basic courses in that field. Otherwise, you may have difficulty getting an academic job.

    ReplyDelete
  12. a self-fulfilling prophecy

    ReplyDelete
  13. regarding a posters contention that TCS is a subfield of math, I think what we call theoretical computer science is a union of two different fields. one is a theory of computer science (which is not mathematics, though mathematical in nature), and the other is mathematics of turing machines.

    ReplyDelete
  14. Once physicists have done something computer scientists care about they cease to be physicists and are now computer scientists. John Atanasoff for example.

    ReplyDelete
  15. Why not go for the trifecta: mathematician, physicist, and computer scientist? I can think of one - John von Neumann - who certainly fits the bill.

    ReplyDelete
  16. John von Neumann was a physicist.

    ReplyDelete
  17. John von Neumann had a PhD in mathematics and held a math professorship all his life. Most of his papers were in math or applied math. He just happened to do world class physics, computer science and economics on the side.

    ReplyDelete
  18. Hmm, but what exactly makes the difference? The methods you use or the field you apply them to? Do we really care?

    Put differently: Is the difference between a software engineering person and a theoretical computer scientist working on algorithms larger or smaller than the difference between either one to a mathematician?

    ReplyDelete
  19. Lance, your on-line Short History of Complexity Theory (with Steve Homer) is IMHO an excellent summary of the rich roots of the field.

    Near the end you and Steve say "We know surprisingly little about the computational complexity of quantum computing." It's been five years ... if you have any new remarks or insights in this regard, well, I for one would be an attentive and appreciative reader!

    ReplyDelete
  20. #17 obviously did not get the joke in #16's post...

    ReplyDelete
  21. Paul Beame sez: ``Why not go for the trifecta: mathematician, physicist, and computer scientist? I can think of one - John von Neumann.''

    John von Neumann was an engineer. :)

    ReplyDelete