daozaich comments on Logical uncertainty and Mathematical uncertainty