"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."
nom.
-
Unknown knowns
Last night I went to see my friend Peter Alvaro give a talk based on Joseph Halpern's paper "Using Reasoning about Knowledge to Analyze…
-
My dissertation abstract
So I need to write an abstract for my dissertation. Anyone wanna glance over this and tell me what you think? If you suggest any edits, keep in…
-
Gertrude Stein on distributed replicas
There are many that I know and they know it, they are all of them repeating and I hear it, sometimes I tell it, mostly I tell it, there are many…
- Post a new comment
- 6 comments
- Post a new comment
- 6 comments