Log in

No account? Create an account
nom. - Lindsey Kuper — LiveJournal [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--"


[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)