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), the C++ random return function, or something called the RAND corporation.
I’m the kind of person who reads things like Fixing Frege for fun after prelims are over.
Edit: Oh, & I don’t mean to be rude, but I probably wouldn’t call anyone a working mathematician/logician unless they were actively doing research either in a post-doc/tenure position or in industry (eg at Microsoft).
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.
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.
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), the C++ random return function, or something called the RAND corporation.
The second question is due to compactness.
I’m the kind of person who reads things like Fixing Frege for fun after prelims are over.
Edit: Oh, & I don’t mean to be rude, but I probably wouldn’t call anyone a working mathematician/logician unless they were actively doing research either in a post-doc/tenure position or in industry (eg at Microsoft).
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.
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.