{"id":238,"date":"2008-02-12T01:56:24","date_gmt":"2008-02-12T05:56:24","guid":{"rendered":"https:\/\/scottaaronson.blog\/?p=238"},"modified":"2008-02-12T01:56:24","modified_gmt":"2008-02-12T05:56:24","slug":"quantum-computing-since-democritus-lecture-12-proof","status":"publish","type":"post","link":"https:\/\/scottaaronson.blog\/?p=238","title":{"rendered":"Quantum Computing Since Democritus Lecture 12: Proof"},"content":{"rendered":"<p>After a ten-month hiatus, the <em>Quantum Computing Since Democritus<\/em> series sheepishly returns with <a href=\"http:\/\/www.scottaaronson.com\/democritus\/lec12.html\">Lecture 12<\/a>, which explores how, over the past couple of decades, theoretical computer scientists have bent, twisted, and kneaded the concept of mathematical proof into strange and barely-recognizable forms.  Read about proofs that don&#8217;t impart any knowledge beyond their own validity, proofs you can check by examining a few random symbols, and (for those who already know that stuff) proofs that certain interpretations of quantum mechanics would predict you can see over the course of your life, yet can&#8217;t hold in your mind at any individual time.<\/p>\n<p>I apologize if this lecture isn&#8217;t as polished as some earlier ones &#8212; but while I&#8217;m working on this, I&#8217;m now also teaching a <em>new <\/em>course at MIT, <a href=\"https:\/\/stellar.mit.edu\/S\/course\/6\/sp08\/6.080\/index.html\">6.080\/6.089 Great Ideas in Theoretical Computer Science<\/a>.  Barring unforeseen delays, the lecture notes for <em>that<\/em> course should be available by 2043.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>After a ten-month hiatus, the Quantum Computing Since Democritus series sheepishly returns with Lecture 12, which explores how, over the past couple of decades, theoretical computer scientists have bent, twisted, and kneaded the concept of mathematical proof into strange and barely-recognizable forms. Read about proofs that don&#8217;t impart any knowledge beyond their own validity, proofs [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"advanced_seo_description":"","jetpack_seo_html_title":"","jetpack_seo_noindex":false,"jetpack_seo_schema_type":"","_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_hide_featured_image":false,"_jetpack_featured_image_duplicate_dismissed":0,"_jetpack_feature_clip_id":0,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"{title}\n\n{excerpt}\n\n{url}","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"_wpas_customize_per_network":false,"jetpack_post_was_ever_published":false},"categories":[5,6,4],"tags":[],"class_list":["post-238","post","type-post","status-publish","format-standard","hentry","category-complexity","category-democritus","category-quantum"],"jetpack_publicize_connections":[],"jetpack_sharing_enabled":true,"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/238","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=238"}],"version-history":[{"count":0,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/238\/revisions"}],"wp:attachment":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=238"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=238"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=238"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}