@artphilosophee Gödel showed in his Incompleteness theorum that any system rich enough for arithmetic can’t be both complete and consistent. there will always be true statements it can’t prove. With so many paradoxes, this isn’t a flaw to fix, it’s just the natural shape of complex systems.
@joni_askola Just listening to his pod with Joel David Hamkins these past days about Gödel's Incompleteness. He could have talked in many fields and kept his focus on the context like no one else in the world could across so many different fields. Are you a moron?