GWT comments and queries

9 Responses to GWT comments and queries

1. Ozge says:

   November 1, 2010 at 1:53 pm

   I appreciate your effort putting these lectures online. Only saw some typo errors and reading the lectures with quite an enthusiasm. I find the flow of the definitions, theorems and notes very nice and easy to grasp – and it’s been a while I took a similar class, almost two years now..-

   I think following also is a good source for Godel’s biography, it’s a collection from some biographies including Dawson’s Logical Dilemmas -well, he is among the editors..
   Feferman, Solomon et al. (Ed.), Kurt Gödel – Collected Works, Volume I, New York: Oxford University Press, pp. 1-43, 1986

   Greetings, Ozge

   Reply
   • Peter Smith says:

     November 1, 2010 at 2:06 pm

     Glad you like the lecture notes, Ozge. Do let me know about any typos you spot! And yes, that’s an excellent suggestion for biographical background about Gödel.

     Reply
2. Vésteinn S. says:

   December 7, 2010 at 6:58 pm

   In part 1: below Defn. 3. it says “there is exists”. Following Theorem 1 there says “There were other reasons too for wanting to steers away”.

   Reply
   • Peter Smith says:

     January 14, 2011 at 10:00 am

     Thanks — corrections made.

     Reply
3. Adam Frank says:

   January 5, 2011 at 11:59 am

   Minor typos in Incompleteness – The Very Idea:

   End of page 1, last paragraph, last sentence, repeat “be”.

   Top of page 2, first paragraph, last word, “perSnickety”. Page 2, paragraph 3.

   As a more general suggestion, I think those straddling the fence between logic pros and hobbyists, the notion of an array of wffs being a proof as mentioned in Defn. 3 could be a bit obscure. It may help to say that an array of wffs is a proof of some wff just in case the last wff follows from the axioms and deductions from them (Probably no need to say much about deductions from deductions and so on, since that could become too much for the neophyte. Just so long as they get the feel for what’s meant.)

   Reply
4. Peter Smith says:

   January 14, 2011 at 10:00 am

   Thanks –corrections made.

   Reply
5. Peter Smith says:

   January 15, 2011 at 5:47 am

   Note that a substantive mistake in Episode 2, §9, has been corrected, thanks to a comment from David Makinson.

   Reply
6. Jonas says:

   April 10, 2011 at 6:54 am

   i have a tiny question: what is the font’s name you use in your GWT?

   Reply
   • Peter Smith says:

     April 10, 2011 at 8:09 am

     It’s the LaTeX default, i.e. “Computer Modern”.

     Reply