Post #2331379

@inecas@mstdn.social @shayman@cosocial.ca So often things are so once properly understood. They start to seem trivial. But that means the logic is sinking in! Gödel’s theorem turned out to be clickbait, for instance. Because an inconsistent system of any kind could always have ‘proven’ itself ‘consistent’, there was never any point in trying to come up with a consistent formal system that could prove itself consistent! The whole effort was a waste of human life hours. But only now do we see that this is so.