Speaking of Tarski's theorem: http://johncarlosbaez.wordpress.com/2013/03/31/probability-theory-and-the-undefinability-of-truth/ … http://intelligence.org/wp-content/uploads/2013/03/Christiano-et-al-Naturalistic-reflection-early-draft.pdf … Probabilistic logic as a way around Tarski? Also, note coauthor.
-
-
@St_Rev occurred to me that this is why we have research communities. takes several hours to figure out what’s wrong with a paper; too many -
@St_Rev so you email four friends ‘has anyone read that probabilistic inference paper?’ and someone says ‘yeah it’s bogus’. distributes work - 5 more replies
New conversation -
-
-
@Meaningness It's a superhypermegaultranonconstructive result, certainly. -
@St_Rev yeah, and the probability axioms are sufficiently loose that i expect totally pathological things satisfy the construction. - 3 more replies
New conversation -
-
-
@St_Rev is labelled ‘early draft’ from 2013. no more-recent draft available, no signs of activity this year. -
@St_Rev => update in direction of ‘found a bug and couldn’t make it work’. - 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.