?

Log in

No account? Create an account
Lindsey Kuper [entries|archive|friends|userinfo]
Lindsey Kuper

[ website | composition.al ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

nom. [May. 18th, 2009|06:41 pm]
Lindsey Kuper

"What are you reading about?"
"Nominal unification."
"What's nominal unification?"
"Okay, so, in regular first-order logic, you have logic variables, right? In nominal logic, you have those, but you also have these things called noms."
"..."
"...I know what you're think--"
"BEST LOGIC SYSTEM EVER."

LinkReply

Comments:
[User Picture]From: keystricken
2009-05-18 07:57 pm (UTC)

'You have these things called noms.'

(Reply) (Thread)
[User Picture]From: stereotype441
2009-05-18 10:32 pm (UTC)

Re: 'You have these things called noms.'

Dude, I have been looking for a "nom"-themed LJ userpic for a while now. You may have just found exactly what I'm looking for.
(Reply) (Parent) (Thread)
[User Picture]From: lindseykuper
2009-05-19 03:53 am (UTC)

Re: 'You have these things called noms.'

I have been looking for a "nom"-themed LJ userpic for a while now.

I can't imagine this being hard.
(Reply) (Parent) (Thread)
[User Picture]From: perligata
2009-05-19 10:35 am (UTC)

Re: 'You have these things called noms.'

I couldn't even find a "nom chomsky" lolcat. The nomeme has many use cases and yet...!
(Reply) (Parent) (Thread)
[User Picture]From: lindseykuper
2009-05-19 03:15 pm (UTC)

The best I can find on short notice:

(Reply) (Parent) (Thread)
[User Picture]From: perligata
2009-05-20 08:42 am (UTC)

Re: The best I can find on short notice:

That is pretty excellent!

I feel like I should mention that I don't like Noam Chomsky, lest I be associated with his followers, but I do love an obvious and vaguely nerdy joke.
(Reply) (Parent) (Thread)