[selimthegrim]

Poor Goodstein was never the same after the stroke. Incidentally, I have to wonder if he and Jearl Walker ever had a personal rivalry.

[WalterBright]

Oh, I am so sorry to hear that happened to him. My favorite physics co-professor of Goodstein's was Prof Ricardo Gomez, who pretty much single-handedly saved me from flunking out. Prof Gomez was one of those people who made Caltech a special place.