🚀 go-pugleaf

In article <20433@watdragon.waterloo.edu>
alopez-ortiz@violet.waterloo.edu (Alex Lopez-Ortiz) writes:
>
>	...the lecturer was talking about some measurable spaces,
>	and proving this and that, ...  later on that day it turned out
>	that no such measurable space exists.  Moral:
>
>		Never attempt an induction
>		without working out the first 4 values.

Better Moral:

A notation is but a language, and a proof theory
merely a way of verifying one's hypotheses.
The models are what make a theory interesting.

Therefore, never get so caught up in a theory
that you forget about the concrete problems
which motivated the theory in the first place.

	Frank Silbermann	fs@rex.cs.tulane.edu
	(just trying to inject a little controversy)