FiftyTwo comments on Welcome to Less Wrong! (July 2012) - Less Wrong

20 Post author: ciphergoth 18 July 2012 05:24PM

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

Comments (843)

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

Comment author: FiftyTwo 15 September 2012 05:02:19PM -1 points [-]

You'd have to explain what the rand function is, since that is apparently an un-Google-able term unless you want Ayn Rand (I don't),

Ah sorry meant "range" not "rand," nevermind think I got it. [I apologise for shamelessly pumping you for question answers.] As for Ayn, no-one does.

Would you recommend "Fixing Frege?" Think I've read bits and pieces of Burgess before but it never made a massive impact.

I'd agree with you on the definition of working logician, the post docs and lecturers I've worked with are on a completely different level from even the smartest student. Not quite thousand year old vampire level but the same level of difference as a native language speaker and a learner.

Comment author: Spinning_Sandwich 16 September 2012 03:32:54AM 0 points [-]

It helps that generally (ie unless you're at Princeton/Cambridge/etc) the faculty at a given school will have come from much stronger schools than the grad students there, and similarly for undergrads/grads. And by "helps" I mean that it helps maintain the effect while explaining it, not that it helps the students any.

As far as the range of a recursive function goes, isn't that the very definition of a recursive set?

I'm definitely enjoying Fixing Frege. This is the third Burgess book I've read (Computability & Logic and Philosophical Logic being the other two), and when it's just him doing the writing, he's definitely one of the clearest expositors of logic I've ever read.

Apparently, he also gets chalk all over his shirt when he lectures, but I've never seen this first-hand.