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.
-
-
Replying to @Meaningness
@St_Rev is labelled ‘early draft’ from 2013. no more-recent draft available, no signs of activity this year.1 reply 0 retweets 0 likes -
Replying to @Meaningness
@St_Rev => update in direction of ‘found a bug and couldn’t make it work’.2 replies 0 retweets 1 like
Replying to @Meaningness
@Meaningness There is this, though: http://intelligence.org/2014/06/23/new-report-non-omniscience-probabilistic-inference-metamathematics/ …
10:48 PM - 15 Jul 2014
0 replies
0 retweets
0 likes
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.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.