paper-machine comments on Proofs, Implications, and Models - Less Wrong

58 Post author: Eliezer_Yudkowsky 30 October 2012 01:02PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (209)

You are viewing a single comment's thread. Show more comments above.

Comment author: Eliezer_Yudkowsky 29 October 2012 10:06:28AM 0 points [-]

Yes, well, the problem is that many courses on "logic" don't teach model theory, at least from what I've heard. Try it and see. I could've just been asking the wrong mathematicians - e.g. a young mathematician visiting CFAR knew about model theory, but that itself seems a bit selected. But the modern courses could be better than the old courses! It's been known to happen, and I'd sure be happy to hear it.

(I'm pretty sure mathbabe has been through a course on formal logic and so has Samuel R. Buss...)

Comment author: [deleted] 29 October 2012 11:04:56AM 0 points [-]

Have you read the book of Marker? I love that thing to pieces.