Logical uncertainty and mathematical uncertainty

Link post