Comments on: Gödel Without Tears — 1

By: Peter Smith

Peter Smith — Mon, 14 Dec 2009 16:49:16 +0000

‘Wff’ means well-formed formula. Though I guess someone who hasn’t met this bit of logic jargon before will find everything in these notes tough — as I am presupposing knowledge of the sort of material that is in a serious first-level logic course.

By: Clifford Hall

Clifford Hall — Mon, 14 Dec 2009 15:47:14 +0000

Please define the term “wff”.

By: Peter Smith

Peter Smith — Wed, 14 Oct 2009 11:37:32 +0000

Thanks R.M.! You are right on both counts. Corrected. :-)

By: Rowsety Moid

Rowsety Moid — Wed, 14 Oct 2009 10:05:53 +0000

Good stuff.

A couple of very minor things:

In the first paragraph of section 2.1, the definition of formal axiomatized theories, the phrase "it has" should be before the "(i)" rather than after, because it should also have (ii) and (iii) in its scope.

The final sentence of the first paragraph of section 1 reads oddly, at least to me. It's the "however" at the end that bugs me. Perhaps just leave it out?

By: Bernardo Alonso

Bernardo Alonso — Mon, 12 Oct 2009 17:08:37 +0000

Thanks for sharing!