88
« Last post by Kilian on 2008-07-07 01:48:24 »
Linguists have something that data doesn't have. They can see infinity.
If I tell you: "If it's not raining, we're gonna go skiing", you have to set up this little mouse trap: "I have to watch out whether it's raining."
Somebody asked me: "You still do linguistics? Isn't that solved?"
Unification without the occurs check is like driving without a seatbelt, where you can move more freely and get onto the backseat while driving - much nicer and faster.
I don't know what we would refer to Jack the Ripper as if they had used skolem functions.
So this is intelligent, not stupid.
...knowing that there is no limit to making it more efficient because it's an undecidable task.