3 ms·

> mathematical truth has nothing to do with philosophical truth This is not entirely true. Philosophy of math has a lot of influence on mathematical truth. Int

• mannykannot 10y ago
  This is probably naive, but is it not the case that mathematical truths, and also mathematical falses, are 'just' the provable implications of your chosen axioms? The search for philosophical truth seems to lead inexorably to the point where you are trying to persuade your peers to accept your definition of words, which perhaps can be rephrased as persuading them to accept your axioms?
• catnaroek 11y ago
  While I appreciate very much the technical contributions of intuitionists, such as logics without excluded middle, and computational interpretations of inference rules, I just can't bring myself to accept the idea that the truth of mathematical statements is conditional on our ability to validate them using our intuition. To me, intuition is a crutch that I use to overcome my inability to accurately perform long calculations. But the ultimate arbiter of truth is the collection of rules of the formal system in question.