{"id":55,"date":"2007-11-04T11:47:00","date_gmt":"2007-11-04T11:47:00","guid":{"rendered":"http:\/\/new.tola.me.uk\/blog\/2007\/11\/04\/congratulations-alex\/"},"modified":"2007-11-04T11:47:00","modified_gmt":"2007-11-04T11:47:00","slug":"congratulations_alex","status":"publish","type":"post","link":"https:\/\/tola.me.uk\/blog\/2007\/11\/04\/congratulations_alex\/","title":{"rendered":"Congratulations Alex"},"content":{"rendered":"<p>This is a slightly belated but massive congratulations to my university friend, Alex Smith. <\/p>\n<p>Towards the end of October Alex had told me that he&#39;d done something that had resulted in a company trying to give him money, but he said he couldn&#39;t tell me what it was, yet. Then I heard the university press office was frantically trying to get in touch with him and I started to wonder what it was!<\/p>\n<p>On 24th October my housemate told me I should look at the front page of Birmingham University&#39;s web site. There was an <a href=\"http:\/\/www.newscentre.bham.ac.uk\/press\/2007\/10\/24Oct07Turingprize.shtml\">article<\/a> saying that Alex had won a <a href=\"http:\/\/www.wolframscience.com\/prizes\/tm23\/\">$25,000 prize<\/a> from Wolfram Research for proving that &quot;<em>Wolfram&#39;s 2,3 Turing Machine is Universal<\/em>&quot;! (no I didn&#39;t know what that meant either until I looked it up). <\/p>\n<p>The story soon appeared on <a href=\"http:\/\/blog.wired.com\/wiredscience\/2007\/10\/college-kid-pro.html\">wired.com<\/a>, <a href=\"http:\/\/www.sciam.com\/article.cfm?articleID=D8F2082D-E7F2-99DF-36D4F98C7C2A7674\">Scientific American<\/a>, <a href=\"http:\/\/science.slashdot.org\/article.pl?sid=07\/10\/24\/1429229\">Slashdot<\/a> and <a href=\"http:\/\/arstechnica.com\/news.ars\/post\/20071024-simple-turing-machine-shown-capable-of-solving-any-computational-problem.html\">Ars Technica<\/a>.  <\/p>\n<p>In <a href=\"http:\/\/blog.wolfram.com\/2007\/10\/the_prize_is_won_the_simplest.html?lid=title\">Stephen Wolfram&#39;s blog entry<\/a> you can read how he didn&#39;t know whether it would take a month or a century to prove, Alex managed it in 5 months. In fact, his initial submission was just 47 days after the competiton was announced! You can read Alex&#39;s 50 page proof <a href=\"http:\/\/www.wolframscience.com\/prizes\/tm23\/TM23Proof.pdf\">here<\/a>.<\/p>\n<p> Alex described himself as &quot;an undergraduate studying Electronic and Computer Engineering at the University of Birmingham, UK. He has a background in mathematics and esoteric programming languages&quot;. I worked with Alex on our <a href=\"\/blog\/2007\/05\/03\/robot_race\">robot project<\/a> last year and this year we&#39;re in the same group for our Masters Group Project (Radio Orienteering). I&#39;ve told him that now that he&#39;s a celebrity, he shouldn&#39;t let the fame go to his head \ud83d\ude1b We&#39;ve still got work to do, after all. However, as with any major discovery Alex&#39;s proof is already causing contreversy and people are trying to <a href=\"http:\/\/cs.nyu.edu\/pipermail\/fom\/2007-October\/012156.html\">prove him wrong<\/a>. Alex has proved during countless interjections during lectures that he loves a good argument, so I expect it to keep him occupied for some time \ud83d\ude42 <\/p>\n<p>I&#39;ll watch the debate unravel with interest (albeit a regretful lack of understanding!), having his claims put under scrutiny is all part of the academic process.<\/p>\n<p>Well done, Alex!  <\/p>\n","protected":false},"excerpt":{"rendered":"<p>This is a slightly belated but massive congratulations to my university friend, Alex Smith. Towards the end of October Alex had told me that he&#39;d done something that had resulted in a company trying to give him money, but he said he couldn&#39;t tell me what it was, yet. Then I heard the university press &hellip; <a href=\"https:\/\/tola.me.uk\/blog\/2007\/11\/04\/congratulations_alex\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Congratulations Alex<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-55","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/tola.me.uk\/blog\/wp-json\/wp\/v2\/posts\/55","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/tola.me.uk\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/tola.me.uk\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/tola.me.uk\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/tola.me.uk\/blog\/wp-json\/wp\/v2\/comments?post=55"}],"version-history":[{"count":0,"href":"https:\/\/tola.me.uk\/blog\/wp-json\/wp\/v2\/posts\/55\/revisions"}],"wp:attachment":[{"href":"https:\/\/tola.me.uk\/blog\/wp-json\/wp\/v2\/media?parent=55"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/tola.me.uk\/blog\/wp-json\/wp\/v2\/categories?post=55"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/tola.me.uk\/blog\/wp-json\/wp\/v2\/tags?post=55"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}