[FOM] Concerning Ultraformalism-to Slater&Ozkural
Timothy Y. Chow
tchow at alum.mit.edu
Wed Nov 8 11:27:31 EST 2006
Hartley Slater wrote:
>The main point for the moment, though, is: how many FOMers, reading
>this message, even noticed the 'that's in the 'that such and such, or
>that such and such' just then?
This question is almost equivalent to asking how many FOMers care about
this particular philosophical question enough to have studied it and
developed a sensitivity to this distinction.
Working mathematicians don't particularly care about the Liar or about
Truth. They don't particularly care if they can't prove that 2+3=5, as
long as they can produce proofs of "2+3=5". If you want to convince them
that they *should* care, then you need to demonstrate what difference it
would make to the daily practice of mathematics.
More information about the FOM