FOM: Jurassic pebbles (more on Davis/Hersh)

[Martin Schlottmann]

Vladimir Sazonov wrote:
> 
> [...]
> 
> I would rather say that it was always true that Lagrange's theorem is
> PROVABLE in a formal system.  [...]


Now, that (the provability of LT in, e.g., PA) is, by itself, a
nice piece of mathematics which is, according to you, an eternal
truth. So, take this as an example for discussion; any example
does the job, there is no need to quarrel over a particular one.

-- 
Martin Schlottmann <martin_schlottmann at math.ualberta.ca>
Sessional Lecturer
Department of Mathematical Sciences, CAB 583
University of Alberta, Edmonton AB T6G 2G1, Canada