![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
ravenBy rights I should be shattered. I think I am, but I've somehow repressed it. I have now survived eight hours' Logic on three hours of sleep and no breakfast or lunch (or dinner; I polished off the Maryland cookies), finished and sent off my entry for the Isis prize, persuaded Sam and Sky to come and do some work, and now I think I've earned a break. I even missed my US Politics in favour of Logic.
What have I learned today? How to construct a propositional tableau. I don't know how much of a life-skill this is, but Bob keeps telling us, this week I am not human. Do not attempt to be human. Your mind is a computer to be programmed. And he's right, as he always and irritatingly is: I am beginning to think in terms of functors and truth-tables, variables ¬P, ¬Q, ¬R and all the rest of it. I got through about ten correctly constructed sequents, with tableaus, and ten incorrect ones in rather less time. I'm getting better.
I also went to meet Claire at the bus station. Her purse was found, thankfully, and she's wryly amused at the thought of her cancelled cards. She and Pat arrived mid-Logic session to amuse me, which I appreciated, and she also gave me more wonderful giant cookies from the covered market (should that be capitalised?) to thank me for running about on her behalf yesterday. I thought it was sweet. The day would have got better from there, had I not found out about this. I rang home in a panic, but thankfully my mother was not on that train, she was on the one after.
And because I've been shamelessly boring my flist, I give you something of somewhat more interest. I live among some exceedingly clever but eccentric people. So, some quotes, just because.
Firstly, during my last Economics tutorial:
SAGAR: So, it's like this. Take an Edgeworth box, draw in the indifference curves for consumer A and consumer B and mark the contract curve of Pareto efficiency between them. Say I sell, um, widgets, and Iona sells hippos, and we're not colluding, we're in a competitive or Walrasian economy, and Nathaniel's the auctioneer and he sets prices, but adjusts them until demand equals supply and the point of Pareto efficiency is the point of tangency between A's and B's indifference curves. Any questions?
WOLFGANG: Yes. What is a widget?
Later, Sky knocks on my door.
ME: Come in!
CLAIRE: (on phone) Is he still depressed about Pat turning him down?
ME: Sky, are you still depressed about Pat not going out with you?
SKY: How does she know that?
ME: Um. I told her.
SKY: Well, tell her I'm going to the LGBsoc tonight. And I'm going to get laid.
ME: Claire, did you hear that-
SKY: And just so you know, that's get laid by a man!
At the surgery:
BOB: And while I'm at it, the truth functors are just one of the many ways you can use Lolita.
EVERYONE ELSE: ....
At dinner last night:
CLAIRE: The thing about Classical Archaeology is that it's got less Latin than Classics. I mean, I liked Latin, I did it at school, but I wouldn't want to do it now.
ME: I did it at school and loved it. Pat, did you ever do Latin?
PAT: No, I never did.
LIYA: That's strange, Pat... you would think you would, 'cause you lived in the Latin Quarter.
ME: (thoroughly confused) Pat, you lived in Paris? Or New Orleans?
LIYA: Isn't Brazil the Latin Quarter?
CLAIRE: (shrieking a bit) Where they speak Latin?
LIYA: Oh, I thought South America was, y'know, where Latin people are from.
In my attic, again:
ME: Lolita. Lo-lee-ta. Light of my life, fire of my loins.
WISCONSIN SAM: You're right, it's time for Logic.
A bit of comedy xenophobia:
CLAIRE: Everywhere I go I'm surrounded by you bloody Indians!
SKY: And the bloody Bengalis. And the bloody Spaniards!
ME: No wonder Pat won't go out with you.
PAT: I'm Brazilian!
And finally, aprés Logic, sitting outside Trinity:
ME: Oh my god, I'm having a transcendental sandwich experience.
Time for bed! At last. And another day of Logic ahead of me, whoo-yay.
What have I learned today? How to construct a propositional tableau. I don't know how much of a life-skill this is, but Bob keeps telling us, this week I am not human. Do not attempt to be human. Your mind is a computer to be programmed. And he's right, as he always and irritatingly is: I am beginning to think in terms of functors and truth-tables, variables ¬P, ¬Q, ¬R and all the rest of it. I got through about ten correctly constructed sequents, with tableaus, and ten incorrect ones in rather less time. I'm getting better.
I also went to meet Claire at the bus station. Her purse was found, thankfully, and she's wryly amused at the thought of her cancelled cards. She and Pat arrived mid-Logic session to amuse me, which I appreciated, and she also gave me more wonderful giant cookies from the covered market (should that be capitalised?) to thank me for running about on her behalf yesterday. I thought it was sweet. The day would have got better from there, had I not found out about this. I rang home in a panic, but thankfully my mother was not on that train, she was on the one after.
And because I've been shamelessly boring my flist, I give you something of somewhat more interest. I live among some exceedingly clever but eccentric people. So, some quotes, just because.
Firstly, during my last Economics tutorial:
SAGAR: So, it's like this. Take an Edgeworth box, draw in the indifference curves for consumer A and consumer B and mark the contract curve of Pareto efficiency between them. Say I sell, um, widgets, and Iona sells hippos, and we're not colluding, we're in a competitive or Walrasian economy, and Nathaniel's the auctioneer and he sets prices, but adjusts them until demand equals supply and the point of Pareto efficiency is the point of tangency between A's and B's indifference curves. Any questions?
WOLFGANG: Yes. What is a widget?
Later, Sky knocks on my door.
ME: Come in!
CLAIRE: (on phone) Is he still depressed about Pat turning him down?
ME: Sky, are you still depressed about Pat not going out with you?
SKY: How does she know that?
ME: Um. I told her.
SKY: Well, tell her I'm going to the LGBsoc tonight. And I'm going to get laid.
ME: Claire, did you hear that-
SKY: And just so you know, that's get laid by a man!
At the surgery:
BOB: And while I'm at it, the truth functors are just one of the many ways you can use Lolita.
EVERYONE ELSE: ....
At dinner last night:
CLAIRE: The thing about Classical Archaeology is that it's got less Latin than Classics. I mean, I liked Latin, I did it at school, but I wouldn't want to do it now.
ME: I did it at school and loved it. Pat, did you ever do Latin?
PAT: No, I never did.
LIYA: That's strange, Pat... you would think you would, 'cause you lived in the Latin Quarter.
ME: (thoroughly confused) Pat, you lived in Paris? Or New Orleans?
LIYA: Isn't Brazil the Latin Quarter?
CLAIRE: (shrieking a bit) Where they speak Latin?
LIYA: Oh, I thought South America was, y'know, where Latin people are from.
In my attic, again:
ME: Lolita. Lo-lee-ta. Light of my life, fire of my loins.
WISCONSIN SAM: You're right, it's time for Logic.
A bit of comedy xenophobia:
CLAIRE: Everywhere I go I'm surrounded by you bloody Indians!
SKY: And the bloody Bengalis. And the bloody Spaniards!
ME: No wonder Pat won't go out with you.
PAT: I'm Brazilian!
And finally, aprés Logic, sitting outside Trinity:
ME: Oh my god, I'm having a transcendental sandwich experience.
Time for bed! At last. And another day of Logic ahead of me, whoo-yay.
