{"id":127,"date":"2004-09-09T09:34:38","date_gmt":"2004-09-08T23:34:38","guid":{"rendered":"http:\/\/michaelnielsen.org\/?p=127"},"modified":"2004-09-09T09:34:38","modified_gmt":"2004-09-08T23:34:38","slug":"automating-the-zoo","status":"publish","type":"post","link":"https:\/\/michaelnielsen.org\/blog\/automating-the-zoo\/","title":{"rendered":"Automating the Zoo"},"content":{"rendered":"

One of my favourite internet resources is Scott Aaronson’s Complexity Zoo<\/a>, a compendium of pretty much everything that is known about computational complexity classes. I’m a physicist, and don’t have a huge need for this kind of thing, but even so, I find it surprisingly useful, surprisingly often. When I want to know something about complexity classes, the Zoo is the second best resource I know of. Of course, the best resource is to ask Scott (or another suitably inclined computer scientist) directly.<\/p>\n

But such people aren’t always around. An interesting idea for a project that came up in conversation with Tereza Tu\u0161arov\u00e1 and Dan Kenigsberg last week is to produce a front end for the Complexity Zoo: a natural language interface, ideally capable of automated reasoning, and perhaps even of producing non-trivial proofs, or telling you interesting things (“yes, the inclusion you propose is possible, but the polynomial hierachy would collapse”). Unfortunately, I don’t have time to do this, but just thought I’d mention it here, in case anyone interested in symbolic mathematics were looking for a fun project.<\/p>\n","protected":false},"excerpt":{"rendered":"

One of my favourite internet resources is Scott Aaronson’s Complexity Zoo, a compendium of pretty much everything that is known about computational complexity classes. I’m a physicist, and don’t have a huge need for this kind of thing, but even so, I find it surprisingly useful, surprisingly often. When I want to know something about… Continue reading Automating the Zoo<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[],"class_list":["post-127","post","type-post","status-publish","format-standard","hentry","category-3","entry"],"_links":{"self":[{"href":"https:\/\/michaelnielsen.org\/blog\/wp-json\/wp\/v2\/posts\/127","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/michaelnielsen.org\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/michaelnielsen.org\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/michaelnielsen.org\/blog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/michaelnielsen.org\/blog\/wp-json\/wp\/v2\/comments?post=127"}],"version-history":[{"count":0,"href":"https:\/\/michaelnielsen.org\/blog\/wp-json\/wp\/v2\/posts\/127\/revisions"}],"wp:attachment":[{"href":"https:\/\/michaelnielsen.org\/blog\/wp-json\/wp\/v2\/media?parent=127"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/michaelnielsen.org\/blog\/wp-json\/wp\/v2\/categories?post=127"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/michaelnielsen.org\/blog\/wp-json\/wp\/v2\/tags?post=127"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}