{"id":5712034,"date":"2024-02-25T19:43:39","date_gmt":"2024-02-26T05:43:39","guid":{"rendered":"https:\/\/math.hawaii.edu\/wordpress\/?p=5712034"},"modified":"2024-04-19T17:33:35","modified_gmt":"2024-04-20T03:33:35","slug":"challenging-computability","status":"publish","type":"post","link":"https:\/\/math.hawaii.edu\/wordpress\/challenging-computability\/","title":{"rendered":"Challenging computability"},"content":{"rendered":"<p>Cooperating faculty member <a href=\"https:\/\/math.hawaii.edu\/wordpress\/people\/dusko\/\">Dusko Pavlovic<\/a>\u00a0published a book in 2023 in Springer&#8217;s Theory and Applications of Computability series:<\/p>\n<p><em>Programs as diagrams: From Categorical Computability to Computable Categories<\/em><\/p>\n<p>In 2024, <a href=\"https:\/\/math.hawaii.edu\/wordpress\/people\/bjoernkh\/\">Bj\u00f8rn Kjos-Hanssen<\/a>&#8216;s book<\/p>\n<p><em>Automatic Complexity: A computable measure of irregularity<\/em><\/p>\n<p>was published by De Gruyter.<\/p>\n<p>The books challenge computability theory in different yet similar ways:<\/p>\n<ul>\n<li><a style=\"color: #41a62a;\" href=\"https:\/\/www.amazon.com\/Programs-Diagrams-Categorical-Computability-Applications-ebook\/dp\/B0C54RZJ4G\/ https:\/\/link.springer.com\/book\/10.1007\/978-3-031-34827-3\">Programs as diagrams<\/a>\u00a0argues that Turing machines can be replaced by category-theoretical diagrams for a more natural understanding of computability.<\/li>\n<li><a href=\"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/9783110774870\/html?lang=en\">Automatic complexity<\/a> advocates replacing Turing machines by finite automata in the definition of Kolmogorov complexity, thus obtaining a computable notion that is &#8220;visual&#8221; in an analogous way to Pavlovic&#8217;s diagrams.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Cooperating faculty member Dusko Pavlovic\u00a0published a book in 2023 in Springer&#8217;s Theory and Applications of Computability series: Programs as diagrams: From Categorical Computability to Computable Categories In 2024, Bj\u00f8rn Kjos-Hanssen&#8216;s book Automatic Complexity: A computable measure of irregularity was published by De Gruyter. The books challenge computability theory in different yet similar ways: Programs as &hellip; <a href=\"https:\/\/math.hawaii.edu\/wordpress\/challenging-computability\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Challenging computability<\/span> <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":5712192,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[22],"tags":[78],"class_list":["post-5712034","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-research-posts","tag-featured"],"_links":{"self":[{"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/posts\/5712034","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/comments?post=5712034"}],"version-history":[{"count":13,"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/posts\/5712034\/revisions"}],"predecessor-version":[{"id":5712193,"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/posts\/5712034\/revisions\/5712193"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/media\/5712192"}],"wp:attachment":[{"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/media?parent=5712034"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/categories?post=5712034"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/tags?post=5712034"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}