Watched Veritasium's video on mathematics's problems of Completeness, Consistency, and Decidability. I'd known of Turing's work on Decidability via the Halting Problem, and I knew Gödel's work on paradoxes but I hadn't recognized Gödel was the one who determined math was incomplete and there's no way to prove consistency.
I wish math had been taught with more history in my school years. Would have been way more interesting. I was OK at it but found the way it was taught to be tediously boring.
This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!