{"id":705,"date":"2014-06-27T03:47:42","date_gmt":"2014-06-27T08:47:42","guid":{"rendered":"http:\/\/blogs.ams.org\/blogonmathblogs\/?p=705"},"modified":"2014-06-27T03:47:42","modified_gmt":"2014-06-27T08:47:42","slug":"the-human-side-of-computer-science","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/blogonmathblogs\/2014\/06\/27\/the-human-side-of-computer-science\/","title":{"rendered":"The Human Side of Computer Science"},"content":{"rendered":"
\"Charles<\/a>

Charles Dickens, the inspiration for Dick Lipton and Ken Regan’s joint alter ego, Pip. Image: public domain, via Wikimedia commons.<\/p><\/div>\n

Dick Lipton is a computer science professor at Georgia Tech who thinks P=NP<\/a>, and Ken Regan is a computer science professor at the University of Buffalo who thinks P\u2260NP. Together, they are \u201cPip<\/a>,\u201d a Dick-Kens character.<\/p>\n

Today I want to tell you about their blog, G\u00f6del\u2019s Lost Letter and P=NP<\/a>.<\/p>\n

Lipton and Regan write mainly about computer science, mathematics, and the history of those subjects, but they always put people first. Most posts start with a brief bio sketch of the person or people whose research they discuss, followed by a little background on the question they\u2019re writing about and the technical content. In the \u201cAbout<\/a>\u201d page, Lipton writes, \u201cmy real reason for making \u201cwho\u201d central is to explain what researchers do when they work on hard open problems. They make mistakes, they go down dead-ends, they make progress. Also students may not know, but even experts sometimes forget, that ideas that we now see as easy were once unknown.\u201d<\/p>\n

The blog\u2019s archives are extensive, and I\u2019ve fallen down quite a few rabbit holes browsing through them. Rather than try to give any kind of a comprehensive overview,\u00a0here’s an assorted (I dare not say “random”) collection of posts you might enjoy if you like creative, personal writing about some pretty technical topics.<\/p>\n

I\u2019m writing about this blog now because of how much I\u2019ve enjoyed several of the most recent posts:
\nAvoiding Monsters and Non-Monsters<\/a>, on Weierstrass\u2019s \u201cmonsters\u201d (continuous, non-differentiable functions) and some of their monstrous and non-monstrous friends
\nHow to Avoid Leaving Clues<\/a>, on how to have your memory and use it too
\nIs This a Proof<\/a>? On the Weak Goldbach Conjecture<\/a> and computer-aided proofs.
\nProof Envy,<\/a> on the theorems they wish they could use. \u201cCall the phenomenon theorem envy: There are theorems that I have long known, but have never been able to use in any actual paper, in any proof of my own. I find this curiously unsatisfying, to know a cool result and yet be unable to use it in one of my papers.\u201d
\nThe Problem of Catching Chess Cheaters<\/a>, on Regan\u2019s recent work on the topic. Another good post on chess cheating is the Crown Game Affair<\/a>.
\nIn Praise of P=NP Proofs<\/a>, on why reading\u00a0P=NP proofs is a good idea, even if (so far) they’re all wrong.
\nI also stumbled on an entertaining post from 2010 about how well mathematicians have done at guessing whether conjectures are true<\/a>.<\/p>\n

Lipton and Regan suggested a few other posts to me, including some that are more computer-focused:
\nPerpetual Motion of the 21st Century<\/a>, a double guest post from Gil Kalai, who does not think large-scale quantum computers are possible, and Aram Harrow, who does.
\nQuantum Chocolate Boxes<\/a>, on using linear extensions to figure out whether your chocolate box is full of pralines or not.
\nHedy Lamarr the Inventor<\/a>, on amateurs in science and technology. In a similar vein, it takes guts to do research<\/a>.
\nFinally, check out their G\u00f6del<\/a> \u201cinterview<\/a>\u201d series<\/a>, which gets more and more imaginative as it\u00a0goes on.<\/p>\n

<\/div>","protected":false},"excerpt":{"rendered":"

Dick Lipton is a computer science professor at Georgia Tech who thinks P=NP, and Ken Regan is a computer science professor at the University of Buffalo who thinks P\u2260NP. Together, they are \u201cPip,\u201d a Dick-Kens character. Today I want to … Continue reading →<\/span><\/a><\/p>\n

<\/div>\n","protected":false},"author":61,"featured_media":706,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[58],"tags":[93,226,225,224,227],"class_list":["post-705","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-mathematics-and-computing","tag-computer-science","tag-dick-lipton","tag-ken-regan","tag-pnp","tag-quantum-computing"],"jetpack_featured_media_url":"https:\/\/i0.wp.com\/blogs.ams.org\/blogonmathblogs\/files\/2014\/06\/Charles_Dickens_-_Project_Gutenberg_eText_13103.jpg?fit=278%2C299&ssl=1","jetpack_shortlink":"https:\/\/wp.me\/p3tW3N-bn","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/posts\/705","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/users\/61"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/comments?post=705"}],"version-history":[{"count":4,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/posts\/705\/revisions"}],"predecessor-version":[{"id":710,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/posts\/705\/revisions\/710"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/media\/706"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/media?parent=705"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/categories?post=705"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/blogonmathblogs\/wp-json\/wp\/v2\/tags?post=705"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}