Interpretability and “natural” theories
To get the blog rolling, here’s something I came across in my recent reading.
My old advisor Peter Koellner, in a paper on pluralism in mathematics, raises the kind of interesting point (based on a simple observation) that I’m often disappointed didn’t occur to me already. The main issue Koellner is considering is the problem [...]