x
Logical uncertainty and mathematical uncertainty — LessWrong