On 27/08/2012 11:34, Ben Goertzel wrote on his "multiverse" blog:
> There's some nice old theory saying that, in a sense, this choice doesn't matter. > Any universal Turing machine can simulate any other one, given a constant overhead. > > But in practice, this constant may be very large, and it does matter. It doesn't matter if you are smart, you just build a in interpreter for the better VM and use that in the future (all this happens automatically for a vanilla optimising agent). It only matters if you aren't smart. Then you get humans to make a VM for you. You probably get them to optimise for program readability, not anything to do with Occam's razor - since that is so much more important. Essentially those who say this doesn't matter are mostly right. Machines can help solve this problem. History teaches that different languages are appropriate in different domains, and that the main criteria involved are to do with understandability. -- __________ |im |yler http://timtyler.org/ [email protected] Remove lock to reply. ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-c97d2393 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-2484a968 Powered by Listbox: http://www.listbox.com
