"Gödel showed that mathematical truth is more than just the output of a formal mechanical system. This suggests that mathematical insight cannot be reduced to a set of rules and that creativity plays a role in mathematics." Roger Chaitin, The Unknowable (2000) The pursuit of philosophy was the development of certain knowledge. From its origin, … Continue reading Searching for an Axiom after Gödel