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.
-
-
@Meaningness I was going to reply 'not JUST' but then I didn't -
@St_Rev am often girly, e.g. by eating multiple choco mint cookies
End of conversation
New conversation -
-
-
@Meaningness I'm kinda bummed that EY knows more about model theory than I do, though -
@St_Rev suspect he’s a courtesy coauthor cuz have seen no signs he knows any logic at all.
End of conversation
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.