off topic (since pigs in math has sporadic updates): FOL, makes sense, and i'd much rather use it than prep logic. Situation calculus which uses FOL on the other hand...I don't get what's the point of it and how the hell is it different/useful!! GAH.
.png)
That is so awesome.
ReplyDeleteoff topic (since pigs in math has sporadic updates): FOL, makes sense, and i'd much rather use it than prep logic. Situation calculus which uses FOL on the other hand...I don't get what's the point of it and how the hell is it different/useful!! GAH.