{"id":5410,"date":"2013-03-20T12:29:23","date_gmt":"2013-03-20T12:29:23","guid":{"rendered":"http:\/\/meeseeks:5080\/blog\/?p=5410"},"modified":"2013-03-20T12:29:23","modified_gmt":"2013-03-20T12:29:23","slug":"progress-in-computing","status":"publish","type":"post","link":"https:\/\/vukutu.com\/blog\/2013\/03\/progress-in-computing\/","title":{"rendered":"Progress in computing"},"content":{"rendered":"<p>Computer science typically proceeds by first doing something, and then thinking carefully about it: \u00a0\u00a0 Engineering usually precedes theory.\u00a0\u00a0\u00a0 Some examples:<\/p>\n<ul>\n<li>The first programmable device in modern times was the Jacquard Loom, a textile loom that could weave different patterns depending on the instruction cards fed into it.\u00a0\u00a0 This machine dates from the first decade of the 19th century, but we did not have a formal, mathematical theory of programming until the 1960s.<\/li>\n<li>Charles Babbage designed various machines to undertake automated calculations in the first half of the 19th century, but we did not have a mathematical theory of computation until Alan Turing&#8217;s film-projector model a century later.<\/li>\n<li>We&#8217;ve had a fully-functioning, scalable, global network enabling multiple, asynchronous, parallel, sequential and interleaved interactions since Arpanet four decades ago, but we still lack a fully-developed mathematical theory of interaction.\u00a0\u00a0 In particular, Turing&#8217;s film projectors seem inadequate to model interactive computational processes, such as those where new inputs arrive or partial outputs are delivered before processing is complete, or those processes which are infinitely divisible and decentralizable, or nearly so.<\/li>\n<li>The first mathematical theory of communications (due to Claude Shannon) dates only from the 1940s, and that theory explicitly ignores the meaning of messages.\u00a0\u00a0 In the half-century since, computer scientists have used speech act theory from the philosophy of language to develop semantic theories of interactive communication.\u00a0 Arguably, however, we still lack a good formal, semantically-rich account of dialogs and utterances\u00a0 about actions.\u00a0 Yet, smoke signals were used for communications in ancient China, in ancient Greece, and in medieval-era southern Africa.<\/li>\n<\/ul>\n<p>An important consequence of this feature of the discipline is that theory and practice are strongly coupled and symbiotic. \u00a0 We need practice to test and validate our theories, of course. \u00a0 But our theories are not (in general) theories of something found in Nature, but theories of practice and of the objects and processes created by practice.\u00a0 Favouring theory over practice risks creating a sterile, infeasible discipline out of touch with reality &#8211; <a href=\"http:\/\/meeseeks:5080\/blog\/2009\/02\/ed-witten-meet-gerard-debreu\/\" target=\"_blank\">a glass bead game<\/a> such as string theory or pre-Crash mathematical economics. \u00a0 Favouring practice over theory risks losing the benefits of intelligent thought and modeling about practice, and thus inhibiting our understanding about limits to practice.\u00a0\u00a0 Neither can exist very long or effectively without the other.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Computer science typically proceeds by first doing something, and then thinking carefully about it: \u00a0\u00a0 Engineering usually precedes theory.\u00a0\u00a0\u00a0 Some examples: The first programmable device in modern times was the Jacquard Loom, a textile loom that could weave different patterns depending on the instruction cards fed into it.\u00a0\u00a0 This machine dates from the first decade [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[13,14,50],"tags":[],"class_list":["post-5410","post","type-post","status-publish","format-standard","hentry","category-computer-science","category-computer-technology","category-mathematics","p1","y2013","m03","d20","h12"],"_links":{"self":[{"href":"https:\/\/vukutu.com\/blog\/wp-json\/wp\/v2\/posts\/5410","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/vukutu.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/vukutu.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/vukutu.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/vukutu.com\/blog\/wp-json\/wp\/v2\/comments?post=5410"}],"version-history":[{"count":0,"href":"https:\/\/vukutu.com\/blog\/wp-json\/wp\/v2\/posts\/5410\/revisions"}],"wp:attachment":[{"href":"https:\/\/vukutu.com\/blog\/wp-json\/wp\/v2\/media?parent=5410"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/vukutu.com\/blog\/wp-json\/wp\/v2\/categories?post=5410"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/vukutu.com\/blog\/wp-json\/wp\/v2\/tags?post=5410"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}