I find it distasteful that non-mathematicians think that Gödel's work introduces a level of subjectivity to mathematics. I agree that one can construct an arbitrary number of mathematical universes via selecting an arbitrary set of axioms. But I disagree that they are somehow all equivalent in value or structural consistency. I personally believe that there is one mathematical universe (or category of universes that are structurally equivalent via something like an isomorphism) that has the most structural consistency and can give the human mind the most insight. I personally believe that there are axioms that are representations of structural properties of physical reality. And I believe that there is a set of axioms that aligns perfectly with the physical universe, and subsequently allows the human mind to comprehend its logic to the fullest extent. I believe this because the way that the human mind understands logic is already a consequence of physical reality. Our ability to un...
Handwritten notes about computer science, artificial intelligence, and mathematics. Essays about philosophy, psychology, and society.
Comments
Post a Comment