A line from GEB says, "... it seems that Godel has unearthed a hitherto unknown, but deeply significant, difference between human reasoning and mechanical reasoning. This mysterious discrepancy in the power of living and nonliving systems is mirrored in the discrepancy between the notion of truth, and that of theoremhood..." Does this mean "the more we study math more we are moving away from truth" ? Hmm...point to ponder.
No comments:
Post a Comment