lukeprog comments on Less Wrong Rationality and Mainstream Philosophy

[lukeprog]

I’d never heard of Per Martin-Lof, thanks.