On Tue, 25 Jul 2006 21:37:00 -0500, "Robert J. Kolker" <firstname.lastname@example.org> wrote:
>Pierre Asselin wrote: >> >> >> Because first-order logic is too weak to tell the difference between >> the model and the real thing. > >There is no real thing. The theory of reals is a formalism when it is >properly constructed.
Funny I should have said just the reverse: there are only real things. So what's the difference between a model, Bob, and the real thing?