Comment on Proofs, Implications, and Models

Mon, 29 Oct 2012 21:56:57 GMT

Another data point: in Cambridge the first course in logic done by mathematics undergraduates is in third year. It covers completeness and soundness of propositional and predicate logic and is quite popular. But in third year people are already so specialised that probably way less than half of us take it.

Discuss