Why might some mathematical truths be unknowable?
April 10, 2013 5:03 PM Subscribe
For all we know, some mathematical truths might be unknowable. E.g., for all we know Goldbach's conjecture (or its negation) is this way. Yet, if there are unknowable mathematical truths, why might this be? Here are some initial considerations/hacks in the dark: (a) Presumably any computing device would have a finite number of parts. Maybe this would limit its processing power in some relevant way; (b) maybe some of the proofs are too long.