Comments on: More logic: talks and handouts http://www.logicmatters.net Logic, enthusiasms, sceptical thoughts, and a little LaTeX geekery Mon, 06 Feb 2012 19:23:02 +0000 hourly 1 http://wordpress.org/?v=3.1 By: Some recent (un)publications « Logic Matters http://www.logicmatters.net/yet-more-logic/comment-page-1/#comment-1730 Some recent (un)publications « Logic Matters Sat, 05 Jun 2010 19:18:04 +0000 http://www.logicmatters.net/?page_id=618#comment-1730 [...] an idle moment (well, it is very hot here in the Bahamas!), I’ve put together a page of links to various stuff from the last three years. Mildly cheering to see that I haven’t been quite [...] [...] an idle moment (well, it is very hot here in the Bahamas!), I’ve put together a page of links to various stuff from the last three years. Mildly cheering to see that I haven’t been quite [...]

]]> By: Peter Smith http://www.logicmatters.net/yet-more-logic/comment-page-1/#comment-1609 Peter Smith Thu, 06 May 2010 16:30:29 +0000 http://www.logicmatters.net/?page_id=618#comment-1609 Well, I hope there will first be one not-quite-a-sequel, on the significance of Gentzen's consistency proofs for arithmetic. And I have another plan too for a short book comparing ten different ways of proving Gödel's first theorem ... Well, I hope there will first be one not-quite-a-sequel, on the significance of Gentzen’s consistency proofs for arithmetic. And I have another plan too for a short book comparing ten different ways of proving Gödel’s first theorem …

]]> By: Alfredo http://www.logicmatters.net/yet-more-logic/comment-page-1/#comment-1608 Alfredo Thu, 06 May 2010 13:37:27 +0000 http://www.logicmatters.net/?page_id=618#comment-1608 Dear prof. Smith, I am reading your book on Goedel's Theorems: I have not yet finished to study it, but it's already apparent that it is beautifully clear: I will go through the book in the next weeks. Thank you! You wrote "there' s a sequel planned for enthusiasts"(p. xiii): I am surely among them. So what about the sequel? I will be looking forward to reading it. Dear prof. Smith,

I am reading your book on Goedel’s Theorems: I have not yet finished to study it, but it’s already apparent that it is beautifully clear: I will go through the book in the next weeks. Thank you!
You wrote “there’ s a sequel planned for enthusiasts”(p. xiii): I am surely among them. So what about the sequel? I will be looking forward to reading it.

]]>