On Fri, Oct 24, 2008 at 6:00 PM, Vladimir Nesov <[EMAIL PROTECTED]> wrote: > If it's not supposed to be a generic language war, that becomes relevant.
Fair point. On the other hand, I'm not yet ready to write a detailed road map out as far as "fix user interface bugs in Firefox". Okay, here are some nearer term examples: Verification of digital hardware against formal models. (Narrow AI theorem provers, for all their limitations, are already making significant contributions in this area.) Better solutions to NP problems. Finding buffer overrun, bad pointer and memory leak bugs in C/C++ programs. All of these things can be formally defined without relying on large amounts of ill-defined background knowledge. ------------------------------------------- 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=117534816-b15a34 Powered by Listbox: http://www.listbox.com
