If you want Occam's Razor to correspond to your intuitive notion of simplicity, then the language you want to use is English. If you want something that is mathematically precise and still close to intuitive, then use one of the existing programming languages like C or Java or perhaps a simple language like Forth or Lisp. This reduces the language dependent constant from 10^9 bits to maybe 10^3 or 10^4 bits, still quite large.
Extremely simple languages such as CA rule 110 or Wolfram's 3 color 2 state Turing machine are not well suited. It is very hard to program these machines to do very simple (according to our intuitive notion of simplicity) things. Even the proofs that these are universal are very complex. Conway's game of Life is universal and has a very simple description, but programming simple patterns requires specifying tens of thousands of cells. -- Matt Mahoney, [email protected] ------------------------------------------- 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
