[FOM] Concerning Ultraformalism-to Slater&Ozkural

[Timothy Y. Chow]

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.

Tim