Mike, It's quite easy to run a logic engine with no criterion for halting, e.g. forward chaining inference is like that... it just goes and goes and keeps generating new stuff "forever" .. .
A random number generator also keeps going a long time and doesn't halt I'm unclear why you think not halting is so terribly fascinating... ben On Tue, Jun 19, 2012 at 6:43 AM, Mike Tintner <[email protected]>wrote: > ** > P.S. The "fear of creativity" - the recognized fear that accompanies all > intellectual creative work - from writing an essay or novel, to writing a > program, or new scientific theory- is the "fear of the blank page" > > > https://www.google.co.uk/search?aq=f&sugexp=chrome,mod=11&sourceid=chrome&ie=UTF-8&q=%22fear+of+the+blank+page%22 > > which arises precisely because there are no criteria for halting - i.e. no > criteria for what form creative work should take. You may indeed go on > forever. Look at Ben, Boris and every other AGI systembuilder - they > obviously have no halting criteria, and may go on for the rest of their > lives. In different ways we may all be in the same boat. . > > P.S.AGI's will need to be afraid too. See Damasio's Elliott for a > demonstration of what happens when a real world reasoner has both no > halting criteria and no fear. > *AGI* | Archives <https://www.listbox.com/member/archive/303/=now> > <https://www.listbox.com/member/archive/rss/303/212726-11ac2389> | > Modify<https://www.listbox.com/member/?&;>Your Subscription > <http://www.listbox.com> > -- Ben Goertzel, PhD http://goertzel.org "My humanity is a constant self-overcoming" -- Friedrich Nietzsche ------------------------------------------- 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
