Update: See Reflection in Probabilistic Logic for more details on how this result relates to MIRI’s research mission. In a recent blog post we described one of the results of our 1st MIRI Workshop on Logic, Probability, and Reflection: The...
