FOM: Jurassic pebbles (more on Davis/Hersh)

Martin Schlottmann martin_schlottmann at
Mon Mar 16 17:07:11 EST 1998

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>
Sessional Lecturer
Department of Mathematical Sciences, CAB 583
University of Alberta, Edmonton AB T6G 2G1, Canada

More information about the FOM mailing list