Is the recommended courses page on MIRI’s website up to date with regards to what textbooks they recommend for each topic? Should I be taking the recommendations fairly seriously, or more with a grain of salt? I know the original author is no longer working at MIRI, so I’m feeling a bit unsure.
No, it’s not up to date. (It’s on my list of things to fix, but I don’t have many spare cycles right now.) I’d start with a short set theory book (such as Naive Set Theory), follow it up with Computation and Logic (by Boolos), and then (or if those are too easy) drop me a PM for more suggestions. (Or read the first four chapters of Jaynes on Probability Theory and the first two chapters of Model Theory by Chang and Keisler.)
Edit: I have now updated the course list (or, rather, turned it into a research guide) that is fairly up-to-date (if unpolished) as of 6 Nov 14.
I have some suggestions for books related to the topics you mentioned. There’s a pretty good section on cognitive ergonomics in Wickens’ Introduction to Human Factors Engineering that is a clear introduction to the topic, and mentions some examples of design issues that can arise from human beings’ cognitive limitations and biases.
Is the recommended courses page on MIRI’s website up to date with regards to what textbooks they recommend for each topic? Should I be taking the recommendations fairly seriously, or more with a grain of salt? I know the original author is no longer working at MIRI, so I’m feeling a bit unsure.
I think Understanding Machine Learning (out this year) is better than Bishop’s book (which is, frankly, insufferably obscurantist), and that instead of model-checking you ought to be learning a proof assistant (I learned Coq from Benjamin Pierce’s Software Foundations).
Is the recommended courses page on MIRI’s website up to date with regards to what textbooks they recommend for each topic? Should I be taking the recommendations fairly seriously, or more with a grain of salt? I know the original author is no longer working at MIRI, so I’m feeling a bit unsure.
I remember lukeprog used to recommend Bermudez’s Cognitive Science over many others. But then So8res reviewed it and didn’t like it much, and now the current recommendation is for The Oxford Handbook of Thinking and Reasoning, which I haven’t really seen anyone say much about.
There are a few other things like this, for example So8res apparently read Heuristics and Biases as part of his review of books on the course list, but it doesn’t seem to appear on the course list anymore, and under the heuristics and biases section Thinking and Deciding is recommended (once reviewed by Vaniver).
No, it’s not up to date. (It’s on my list of things to fix, but I don’t have many spare cycles right now.) I’d start with a short set theory book (such as Naive Set Theory), follow it up with Computation and Logic (by Boolos), and then (or if those are too easy) drop me a PM for more suggestions. (Or read the first four chapters of Jaynes on Probability Theory and the first two chapters of Model Theory by Chang and Keisler.)
Edit: I have now updated the course list (or, rather, turned it into a research guide) that is fairly up-to-date (if unpolished) as of 6 Nov 14.
I have some suggestions for books related to the topics you mentioned. There’s a pretty good section on cognitive ergonomics in Wickens’ Introduction to Human Factors Engineering that is a clear introduction to the topic, and mentions some examples of design issues that can arise from human beings’ cognitive limitations and biases.
Also, Chris Eliasmith’s book Neural Engineering: Computation, Representation, and Dynamics in Neurobiological Systems shows some of the technical approaches people have taken to modelling what happens in the brain.
I’m not sure if either of those is what you’re looking for, but I found them interesting.
I think Understanding Machine Learning (out this year) is better than Bishop’s book (which is, frankly, insufferably obscurantist), and that instead of model-checking you ought to be learning a proof assistant (I learned Coq from Benjamin Pierce’s Software Foundations).
The book the page recommends is Kevin Murphy’s Machine Learning: A Probabilistic Perspective. I don’t see any of Chris Bishop’s books on the MIRI list right now, was Pattern Recognition and Machine Learning there at some point? Or am I missing something you’re saying.
Oh, well all right then. I was under the mistaken impression Bishop’s book was listed. My bad!