I’ve been trying to learn a computer program, ACL2, which is a kind of theorem prover, but I’ve dropped back to reading the logic text, Shoenfield, recommended in the program documentation. Eek! But I think I’ve finally got the distinction between syntax and semantics and will offer a simple example of the difference.
OK. So as we have agreed, we will discuss our mini-presentations for next week’s (yes it’s weekly now) meetup here.
Mine is simple, it will be a summary on Schelling’s The Strategy of Conflict :)
What’s yours?
I’ve been trying to learn a computer program, ACL2, which is a kind of theorem prover, but I’ve dropped back to reading the logic text, Shoenfield, recommended in the program documentation. Eek! But I think I’ve finally got the distinction between syntax and semantics and will offer a simple example of the difference.