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 since 99/100 papers are nonsense, all you want is the one-bit answer most of the time, unless it fails in an interesting way
-
-
@St_Rev mit bio dept had a grad course that amounted to ‘how to figure out what’s wrong with a paper as fast as possible.’ -
@St_Rev the contents were considered highly secret and they wouldn’t allow anyone outside the dept to know anything about it. frustrating. - 2 more replies
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.