gjk@talcott.UUCP (Greg Kuperberg) (03/10/85)
He is rumored to be in Tokyo somewhere. He wants to teach a course on Mizar, a computer language that Andrzej Trybulec (and maybe some other people) developed, and Dr. Trybulec would like to be able to correspond with him over the computer. --- Greg Kuperberg harvard!talcott!gjk "2*x^5-10*x+5=0 is not solvable by radicals." -Evariste Galois.