No kidding. I tried to learn predicate logic by reading his works (mainly Methods of Logic). I wanted to throw his books across the room. I made it, but comparing his treatment of the completeness and compactness theorems with Tao's treatment was enlightening (and infuriating).
It's as though Quine worked hard at being obscure.
No kidding. I tried to learn predicate logic by reading his works (mainly Methods of Logic). I wanted to throw his books across the room. I made it, but comparing his treatment of the completeness and compactness theorems with Tao's treatment was enlightening (and infuriating).
It's as though Quine worked hard at being obscure.