On Fri, Dec 26, 2008 at 11:56 PM, Abram Demski <[email protected]> wrote: > That's not to say that I don't think some representations are > fundamentally more useful than others-- for example, I know that some > proofs are astronomically larger in 1st-order logic as compared to > 2nd-order logic, even in domains where 1st-order logic is > representationally sufficient.
Do you have any online references handy for these? One of the things I'm still trying to figure out is to just what extent it is necessary to go to higher-order logic to make interesting statements about program code, and this sounds like useful data. ------------------------------------------- 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=123753653-47f84b Powered by Listbox: http://www.listbox.com
