Logical uncertainty and mathematical uncertainty — AI Alignment Forum