|
|
Re: FLT Discussion: Simplifying
Posted:
Jan 16, 2001 8:33 PM
|
|
On 17 Jan 01 00:41:42 GMT, norrisdt@rintintin.colorado.edu (Doug
Norris) wrote:
>jstevh@my-deja.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".
- Randy
|
|
