
Recent Posts
Archives
Monthly Archives: August 2015
The Gaifman Condition and the Π1Π2 problem
So I’m at a MIRI workshop on Logical Uncertainty, and I’m gonna make a more complete post about it later, but I wanted to talk about a thing that has been on my mind. So we’re trying to build a … Continue reading
Posted in Logic, Mathematics, Probability Theory
Tagged logic, logical uncertainty, mathema, mathematics, maths, miri, probability theory, tagging maths for a friend
9 Comments