![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Nailed 'em!
May. 27th, 2004 12:59 amI just spent 7 hours straight with a pen and paper working through completeness and soundness proofs for all four operators (not, and, transmission line delay, inertial delay). I've completed all of the proofs now, so the paper finishing is now back on track.
I think I have a tendency to go wobble when I talk to Alan sometimes -- he sprays ideas at me, often faster than I can make sense out of them, so it's not unusual for me to end up feeling like a mathematical steamroller has been doing figure skating practice on my head for a couple of hours. It's not something I'm used to, I must say -- I think Alan's actually the only person I've ever met who can do that to me. Which is probably good for my soul, I'm sure, but still horribly scary sometimes.
The up-side is that I'm actually learning a lot here. OK, I'm doing a PhD at Cambridge, I should kind-of *expect* to be learning stuff, but the fact that I actually *am*, and that I seem to be doing so at an accelerated pace is heartening. I'm getting to be an old-timer.
Anyway, now that I've gone back to working through my idea for the proofs, the paper has started flowing again. I think I'm just useless at trying to write in someone else's style -- it's always painful, and realistically I just don't think I can *do* it to anything like a reliable level. I was always the same with music; never really getting into playing anything I hadn't actually written myself.
So, sleep. And hopefully a productive day tomorrow.
I think I have a tendency to go wobble when I talk to Alan sometimes -- he sprays ideas at me, often faster than I can make sense out of them, so it's not unusual for me to end up feeling like a mathematical steamroller has been doing figure skating practice on my head for a couple of hours. It's not something I'm used to, I must say -- I think Alan's actually the only person I've ever met who can do that to me. Which is probably good for my soul, I'm sure, but still horribly scary sometimes.
The up-side is that I'm actually learning a lot here. OK, I'm doing a PhD at Cambridge, I should kind-of *expect* to be learning stuff, but the fact that I actually *am*, and that I seem to be doing so at an accelerated pace is heartening. I'm getting to be an old-timer.
Anyway, now that I've gone back to working through my idea for the proofs, the paper has started flowing again. I think I'm just useless at trying to write in someone else's style -- it's always painful, and realistically I just don't think I can *do* it to anything like a reliable level. I was always the same with music; never really getting into playing anything I hadn't actually written myself.
So, sleep. And hopefully a productive day tomorrow.