tag:blogger.com,1999:blog-3722233.post1400950914749406777..comments2021-06-13T17:50:43.943-05:00Comments on Computational Complexity: What is a Physicist? A Mathematician? A Computer Scientist?Lance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger9125tag:blogger.com,1999:blog-3722233.post-40418736964418472482018-09-24T09:42:50.047-05:002018-09-24T09:42:50.047-05:00Indeed, all the people you mention are listed on h...Indeed, all the people you mention are listed on https://toc.csail.mit.edu/faculty as having joint appointments, with many more who aren't joint with math.<br />The weird thing at MIT Math, I would say, is that combinatorialists are classified as "applied mathematics", which I don't know of happening in any other math department.Allen Knutsonhttps://www.blogger.com/profile/15616422252030334511noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-42217980543962203042018-09-18T19:18:26.627-05:002018-09-18T19:18:26.627-05:00Having read your comment I am thinking, and I made...Having read your comment I am thinking, and I made the correction in the post, that I really do not know how MIT is structured and that I am incorrect. What is correct is that there are some people in the Math Dept who are (at least in my opinion) Computer Scientists. <br /><br />Thanks for pointing out my errorGASARCHhttps://www.blogger.com/profile/03615736448441925334noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-89311128105931264162018-09-18T18:17:07.986-05:002018-09-18T18:17:07.986-05:00Who are you thinking of when you say "MIT CS ...Who are you thinking of when you say "MIT CS is housed in mathematics"? I find this a very odd claim. Check out the people at the page for the Laboratory for the Theory of Computer Science.Allen Knutsonhttps://www.blogger.com/profile/15616422252030334511noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-38876914556436038772018-09-18T07:41:48.838-05:002018-09-18T07:41:48.838-05:00You can go one step further and ask what (sub)fiel...You can go one step further and ask what (sub)field someone is in. Is someone who works on efficient routing doing systems/networking or algorithms? Is someone who works on cryptography in cybersecurity or theory? <br /><br />I personally find it useful here to think in terms of someone's "home conference": the conference they regularly attend (even when they don't have a paper) and probably regularly publish. Some people may have more than one home conference, and one's home conference may change over time, but that is ok.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-23144432026062635392018-09-18T01:00:49.540-05:002018-09-18T01:00:49.540-05:00I posit that someone who proves theorems is a pure...I posit that someone who proves theorems is a pure mathematician, but someone who directly uses theorems for something other than proving other theorems is an applied mathematician. Someone who does both is a purple mathematician.<br /><br />In conclude that most of the people you talk about are various shades of purple, the exception being cranks.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-47505785656602008992018-09-17T10:35:17.554-05:002018-09-17T10:35:17.554-05:00The majority (17/25) of MIT faculty doing theoreti...The majority (17/25) of MIT faculty doing theoretical CS belong solely to the MIT<br />EECS Department; there are 7 belonging solely to the Math Dept, and only one joint<br />appointment (Bonnie Berger) that I know of. All but<br />one of these 25 are members of the Theory of Computation Group in the MIT Computer<br />Science and AI Laboratory.<br /><br />Personally, I think of myself as a Mathematician whose entire career has been<br />happily spent in Computer Science departments (at CMU, MIT, Harvard).Albert R Meyerhttp://people.csail.mit.edu/meyernoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-58955162284205192402018-09-17T09:57:33.178-05:002018-09-17T09:57:33.178-05:00X could be a Y and a Z too.X could be a Y and a Z too.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-76431721008640909942018-09-17T08:55:31.017-05:002018-09-17T08:55:31.017-05:00Obviously, there is a fuzzy border between Theoret...Obviously, there is a fuzzy border between Theoretical Computer Science (TCS) and Mathematics. Just look at the Nevanlinna Prize winners. Are they computer scientists or mathematicians (in sheep’s clothing)?<br />Also Computability Theory belongs to Mathematics (as part of Mathematical Logic a.k.a. “Recursion Theory”) and Theoretical Computer Science. Just look at the (recent) developments of Kolmogorov Complexity for an example of a full merge. You can publish under this heading pure Recursion Theory in major TCS-conferences and journals. Some years ago the buzzword “Recursion Theory” alone would have placed you out of scope of TCS (with the only but remarkable exception of the small but steady field of “Inductive Inference”). <br />The same token more or less applies to Combinatorics in general which belongs to (Discrete) Mathematics, but main parts of Computational Complexity (including “Logic in Computer Science,” e.g., Finite Model Theory) can be considered as a subfield of Combinatorics. <br />It is interesting to speculate how this will develop in the future. More specifically, will there be any more homegrown theorists coming from Computer Science proper or will this become a subfield and hunting ground for (pure) mathematicians who are looking for a well-paid job (that they would not get if they stayed in curiosity-oriented research of Mathematics proper without “approved applications” :-))?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-46379629583662179192018-09-17T07:45:04.572-05:002018-09-17T07:45:04.572-05:00the meh sensethe meh senseAnonymousnoreply@blogger.com