{"id":7388,"date":"2023-07-05T10:53:52","date_gmt":"2023-07-05T15:53:52","guid":{"rendered":"https:\/\/scottaaronson.blog\/?p=7388"},"modified":"2023-07-11T19:31:18","modified_gmt":"2023-07-12T00:31:18","slug":"life-blogging-and-the-busy-beaver-function-go-on","status":"publish","type":"post","link":"https:\/\/scottaaronson.blog\/?p=7388","title":{"rendered":"Life, blogging, and the Busy Beaver function go on"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\"><strong><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-vivid-red-color\">Update (July 11):<\/mark><\/strong> If you\u2019re interested in blogging about progress in science and technology, check out a <a href=\"https:\/\/fellowship.rootsofprogress.org\/\">new fellowship<\/a> from <a href=\"https:\/\/rootsofprogress.org\/\">The Roots of Progress<\/a> (h\/t Jason Crawford).<br><br><strong><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-vivid-red-color\">Update (July 10):<\/mark><\/strong> Speaking of the Busy Beaver function, check out <a href=\"https:\/\/www.youtube.com\/watch?v=kmAc1nDizu0\">this beautifully-produced YouTube video about BB<\/a> by Duane Rich&#8212;a video that Duane says was directly inspired by my <a href=\"https:\/\/www.scottaaronson.com\/papers\/bb.pdf\">survey article<\/a>!  Duane tells me that a Part II is coming as well.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-vivid-red-color\">Update (July 7):<\/mark><\/strong> My UT colleague David Zuckerman asked me to advertise that the FOCS Test of Time Award is <a href=\"https:\/\/focs.computer.org\/2023\/awards\/\">urgently seeking nominations<\/a>.  This is your chance to get your favorite papers from 1993, 2003, or 2013 recognized!<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p class=\"wp-block-paragraph\">This is my first post in well over a month.  The obvious excuse is that I&#8217;ve been on a monthlong family world tour, which took me first to the Bay Area, then NYC, then Israel, then Orlando for <a href=\"http:\/\/acm-stoc.org\/stoc2023\/\">STOC<\/a>\/<a href=\"https:\/\/fcrc.acm.org\/\">FCRC<\/a> as well as Disney World, now the Jersey Shore, and later today, back to the Bay Area, joining Dana there, and leaving the kids with my parents for a few weeks.  I&#8217;ll return to Austin in mid-August, by which point, the &#8220;heat dome&#8221; will hopefully have dissipated, leaving temperatures a mere 100F or less.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">I&#8217;m trying to get back into production mode.  Part of that is contemplating the future of this blog, about which I&#8217;ll say more in a future post.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">For now, just to wet my toes, here are three updates about the Busy Beaver function:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Johannes Riebel, an undergraduate at the University of Augsburg in Germany, has produced a <a href=\"https:\/\/www.ingo-blechschmidt.eu\/assets\/bachelor-thesis-undecidability-bb748.pdf\">tour-de-force bachelor&#8217;s thesis<\/a> that contains, among other things, the first careful writeup of Stefan O&#8217;Rear&#8217;s result from six years ago that the value of BB(748) is independent of the ZFC axioms of set theory.  Regular readers might recall that O&#8217;Rear&#8217;s result substantially improved over the <a href=\"https:\/\/scottaaronson.blog\/?p=2725\">initial result by me and Adam Yedidia<\/a>, which showed the value of BB(8000) independent of ZFC assuming the consistency of a stronger system.  Along the way, Riebel even gets a tiny improvement, showing that BB(745) independent of ZFC.<\/li>\n<\/ul>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Pascal Michel, who curated arguably the Internet&#8217;s most detailed source of information on the Busy Beaver function, has retired from academia, and his website was at imminent risk of being lost forever.  Fortunately, friends intervened and his site is <a href=\"https:\/\/bbchallenge.org\/~pascal.michel\/index.html\">now available at bbchallenge.org<\/a>.<\/li>\n<\/ul>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Shawn Ligocki and Pavel Kropitz have continued to find busier beavers, with spectacular recent progress over the past couple months for Turing machines with more than 2 symbols per tape square.  See <a href=\"https:\/\/www.sligocki.com\/2023\/05\/20\/bb-2-6-p3.html\">here<\/a> for example.<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">Anyway, more coming soon!<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Update (July 11): If you\u2019re interested in blogging about progress in science and technology, check out a new fellowship from The Roots of Progress (h\/t Jason Crawford). Update (July 10): Speaking of the Busy Beaver function, check out this beautifully-produced YouTube video about BB by Duane Rich&#8212;a video that Duane says was directly inspired by [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","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_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":true,"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":[31],"tags":[],"class_list":["post-7388","post","type-post","status-publish","format-standard","hentry","category-announcements"],"jetpack_publicize_connections":[],"jetpack_sharing_enabled":true,"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/7388","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\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=7388"}],"version-history":[{"count":6,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/7388\/revisions"}],"predecessor-version":[{"id":7404,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/7388\/revisions\/7404"}],"wp:attachment":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=7388"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=7388"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=7388"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}