3 ms·
He's popularizing interesting but complicated maths. That's always gonna attract people who think they understand it, but don't.
by dash2 2y ago
He's popularizing interesting but complicated maths. That's always gonna attract people who think they understand it, but don't.
- larsf100 2y ago[flagged]
- dgb23 2y agoIt's definitely math, or specifically logic. The writing style in the article leans heavily on logical statements. Perhaps an interesting aside: I always thought that mathematical logic, or at least the parts we typically learn to describe CS concepts, is pretty hardcore in terms of the abstract thinking we have to perform. Until I saw what philosophers have to learn... They are taught much richer and complex concepts that can describe how logic bleeds into written/spoken language and how you extract this logic from text. Logic is used, recognized and analyzed in pretty much _everything_ they do. In contrast, we get by with the kindergarten version of logic for most things.
- aklquark 2y agoThis subthread assumes that the blog is popularizing math concepts. If so, why can he not be bothered to write: Let P be a set of programs that print all possible answers to the proposition P==NP . In this case, the possible answers are {"true", "false", "undecidable in ZFC"}. Then there trivially exists a program that can print the true answer to the proposition. Everyone understands this. The amount of support he is getting here for the poor presentation is astonishing.