*** So the system in the paper by the MIRI guys seems to be based on a logical language of analysis that would rule out certain kinds of sentences if they tended toward not being logically evaluable. ***
No, not really; you seem to not understand their theorem ;p ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
