On 17 Jan 01 00:41:42 GMT, firstname.lastname@example.org (Doug Norris) wrote:
>email@example.com writes: > >>My comment to them is that it's the same thing being done with the >>proof of Fermat's Last Theorem. > >Ah hah! Hoisted on your own petard, Harris. >
May the gods have mercy on me, I think I know where he's going with "pattern rings". The mention of object-oriented programming gave me the clue.
1. You mortals think in terms of specific rings. 2. I, the great JSH, think in terms of a super ring, and state theorems that are true (because I state them) for x, y, z, no matter what kind of object x, y and z are. 3. We can then drop down into one of your mortal rings and all my declared theorems will be true by inheritance, as "ring of complex numbers" is a class derived from "JSH pattern ring".