Re: Archives

Hi Carl,

> Experts can make a good guess, but nobody can tell for sure.
> Law is decided in a discussion, case-by-case.

That's something to bear in mind if one needs to know.
I tend to think of it as being an axiomatic subject like
maths, but I suppose it isn't really, more a matter of
precedent, and then precedents can contradict each other
too.

In maths, it doesn't matter who was first to prove a result.
Would be a funny world if one could say - "that proof is
incorrect because so and so got in first with a proof
of the opposite result" :-)

There's some interest in mathematical theories with
inconsistent axiom systems, but in those you
work by making sure you can never reach the
inconsistency (e.g. by limitation on length of
proof). You aren't required to adjudicate on
whether one result or the other is correct.
They all are (all the ones you can prove).

BTW (OT), here is a page I found of mathematical proofs set to music.

http://metamath.planetmirror.com/mmexplorer/mmmusic.html

I think they are rather nice. (all in 12-tet).

Robert