🚀 go-pugleaf

In article <1009@sdcc13.ucsd.EDU> ln63wgq@sdcc13.ucsd.edu.UUCP (Keith Messer) writes:
>You know, that's my logic too, Bob.  A mathematical (even if we have to call
>it mathematical) property is useful whether or not it is proven.  Supposing
>I find some regularity in a mathematical system by induction (but in a case
>where mathematical induction is not adequate proof) and decide to write a
>program to do analysis based on that regularity.  Either the program will
>succeed and be useful to me or it will fail, disproving my hypothesis.  The
>point is that I win either way.
>
>					Keith
>					ln63wgq%sdemlab@sdcsvax


I think you're missing something here. Your program NEVER will succeed, 
because there is an infinity of cases. It can only fail. If you want to
prove something, you need a proof, not a 'convincing' number of tries.
Of course your program can fail, unproving your assumption (so you only
win if you make weird assumptions! :-))

If you want to be sure, PROVE. You can assume things, but this will only
partially sovle your problems. If I use the Riemann Hypothesis in an 
article, I will clearly say that I use an unproven hypothesis.
	-- Jurjen
-- 
  -- Jurjen N.E. Bos (jurjen@cwi.nl)