Mike, The answer here is a yes. Many new branches of mathematics have arisen since the formalization of set theory, but most of them can be interpreted as special branches of set theory. Moreover, mathematicians often find this to be actually useful, not merely a curiosity.
--Abram Demski On Tue, Aug 26, 2008 at 12:32 PM, Mike Tintner <[EMAIL PROTECTED]> wrote: > Valentina:In other words I'm looking for a way to mathematically define how > the AGI will mathematically define its goals. > > Holy Non-Existent Grail? Has any new branch of logic or mathematics ever > been logically or mathematically (axiomatically) derivable from any old > one? e.g. topology, Riemannian geometry, complexity theory, fractals, > free-form deformation etc etc > ________________________________ > agi | Archives | Modify Your Subscription ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=111637683-c8fa51 Powered by Listbox: http://www.listbox.com