x
Logical uncertainty and mathematical uncertainty — AI Alignment Forum