Is what they are saying here: "We don't know if the sentence is absolutely true, but we think it is probably true strictly within our system." ?
It does seem interesting (I don't want to come across as a nattering nabob of AI negativity which is not my style). It is just tough to orient yourself in a paper like that without knowing the details of the background science. Mike A On 8/25/14, Ben Goertzel <[email protected]> wrote: > It's not really a sleight of hand... > > I mean, if you can say "This sentence is false" has a truth value of 0.5, > without having to assign it a value of 0 or 1, then you have a lot more > flexibility in avoiding paradox.... What they are doing is a fancy version > of that, which works more generally... > > ben > > > On Tue, Aug 26, 2014 at 12:00 AM, Mike Archbold <[email protected]> > wrote: > >> I took a stab at the paper and it seemed like they were trying to get >> outside the system with a sleight of hand involving probabilities. It >> seems like they are writing for a very small in-group. Ben: I think >> your writing is clear. I've been working through your book. People >> should write high-fallutin' metamath papers more like that. >> >> On 8/25/14, Ben Goertzel via AGI <[email protected]> wrote: >> > *** >> > >> > 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/11943661-d9279dae >> > Modify Your Subscription: >> > >> https://www.listbox.com/member/?&; >> > Powered by Listbox: http://www.listbox.com >> > >> > > > > -- > Ben Goertzel, PhD > http://goertzel.org > > "In an insane world, the sane man must appear to be insane". -- Capt. James > T. Kirk > > "Emancipate yourself from mental slavery / None but ourselves can free our > minds" -- Robert Nesta Marley > ------------------------------------------- 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
