# Course recommendations for Friendliness researchers

When I first learned about Friendly AI, I assumed it was mostly a programming problem. As it turns out, it's actually mostly a _math _problem. That's because most of the theory behind self-reference, decision theory, and general AI techniques haven't been [formalized and solved yet](http://lukeprog.com/SaveTheWorld.html). Thus, when people ask me what they should study in order to work on Friendliness theory, I say "Go study math and theoretical computer science."

But that's not specific enough. Should aspiring Friendliness researchers study continuous or discrete math? Imperative or functional programming? Topology? Linear algebra? Ring theory?

I do, in fact, have _specific_ recommendations for which subjects Friendliness researchers should study. And so I worked with a few of my best [interns](http://intelligence.org/interns/) at MIRI to provide recommendations below:

*   **University courses**. We carefully hand-picked courses on these subjects from four leading universities — but we aren't omniscient! If you're at one of these schools and can give us feedback on the exact courses we've recommended, please do so.
*   **Online courses**. We also linked to online courses, for the majority of you who aren't able to attend one of the four universities whose course catalogs we dug into. Feedback on these online courses is also welcome; we've only taken a few of them.
*   **Textbooks**. We _have_ read nearly all the textbooks recommended below, along with many of their [competitors](/lw/3gu/the_best_textbooks_on_every_subject/). If you're a strongly motivated autodidact, you could learn these subjects by diving into the books on your own and doing the exercises.

Have you already taken most of the subjects below? If so, and you're interested in Friendliness research, then you should _definitely_ contact me or our project manager Malo Bourgon ([malo@intelligence.org](mailto:malo@intelligence.org)). You might not feel all that special when you're in a top-notch math program surrounded by people who are as smart or smarter than you are, but here's the deal: we rarely get contacted by aspiring Friendliness researchers who are familiar with most of the material below. If you are, then you _are_ special and we want to talk to you.

Not everyone cares about Friendly AI, and not everyone who cares about Friendly AI should be a researcher. But if you _do_ care and you _might_ want to help with Friendliness research one day, we recommend you consume the subjects below. Please contact me or Malo if you need further guidance. Or when you're ready to [come work for us](http://intelligence.org/research-fellow/).

| ###### ![](http://i.imgur.com/gkWZ9.gif) [COGSCI C127 ](http://psychology.berkeley.edu/courses/cognitive-neuroscience-0)![](http://i.imgur.com/2Ok48.gif) [PHIL 190 ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&catalog=&q=PHIL+190%3A+Introduction+to+Cognitive+and+Information+Sciences&collapse=)![](http://i.imgur.com/kql8l.gif) [6.804J ](http://ocw.mit.edu/courses/brain-and-cognitive-sciences/9-66j-computational-cognitive-science-fall-2004/index.htm)![](http://i.imgur.com/NyeP3.gif) [85-213 ](http://www.psy.cmu.edu/undergrad_program/undergrad_courses.html)[![](http://irynsoft.com/home/wp-content/themes/TheCorporation/timthumb.php?src=image/MITOCW200x.png&h=220&w=330&zc=1)Free Online](http://ocw.mit.edu/courses/brain-and-cognitive-sciences/9-66j-computational-cognitive-science-fall-2004/index.htm) | ###### Cognitive Science [![](http://images.barnesandnoble.com/images/68410000/68414363.JPG)](http://www.amazon.com/Cognitive-Science-An-Introduction-Mind/dp/0521708370) | ###### If you're endeavoring to build a mind, why not start by studying your own? It turns out we know quite a bit: human minds are massively parallel, highly redundant, and although parts of the cortex and neocortex seem remarkably uniform, there are definitely dozens of special purpose modules in there too. Know the basic details of how the only existing general purpose intelligence currently functions. |
| --- | --- | --- |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [ECON 119 ](http://osoc.berkeley.edu/catalog/gcc_search_sends_request?p_dept_cd=ECON&p_number=119)![](http://i.imgur.com/2Ok48.gif) [IPS 207A ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&catalog=&q=IPS+207A+Judgment+and+Decision+Making&collapse=)![](http://i.imgur.com/kql8l.gif) [15.847 ](http://mitsloan.mit.edu/academic/courses/15.847.php)![](http://i.imgur.com/NyeP3.gif) [80-302 ](http://coursecatalog.web.cmu.edu/dietrichcollegeofhumanitiesandsocialsciences/departmentofsocialanddecisionsciences/)[![](http://irynsoft.com/home/wp-content/themes/TheCorporation/timthumb.php?src=image/MITOCW200x.png&h=220&w=330&zc=1)Free Online](https://www.coursera.org/course/thinkagain) | ###### Heuristics and Biases [![](http://images.barnesandnoble.com/images/198620000/198628387.JPG)](http://www.amazon.com/Heuristics-Biases-Psychology-Intuitive-Judgment/dp/0521796792/) | ###### While cognitive science will tell you all the wonderful things we know about the immense, parallel nature of the brain, there's also the other side of the coin. Evolution designed our brains to be optimized at doing rapid thought operations that work in 100 steps or less. Your brain is going to make stuff up to cover up that its mostly cutting corners. These errors don't feel like errors [from the inside](/lw/no/how_an_algorithm_feels_from_inside/), so you'll have to learn how to patch the ones you can and then move on. PS - We should probably design our AIs better than this. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [COMPSCI 61A ](http://general-catalog.berkeley.edu/catalog/gcc_list_crse_req?p_dept_name=Computer+Science&p_dept_cd=COMPSCI&p_path=l)![](http://i.imgur.com/2Ok48.gif) [MATH 198 ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&catalog=&q=MATH+198&collapse=)![](http://i.imgur.com/kql8l.gif) [6.005 ](http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-005-elements-of-software-construction-fall-2011/index.htm)![](http://i.imgur.com/NyeP3.gif) [15-150 ](http://www.cs.cmu.edu/~15150/)![](https://www.coursera.org/favicon.ico)[Free Online](https://www.coursera.org/course/progfun) | ###### Functional Programing [![](http://images.barnesandnoble.com/images/127420000/127428102.JPG)](http://www.amazon.com/Structure-Interpretation-Computer-Programs-Second/dp/0070004846/) | ###### There are two major branches of programming: Functional and Imperative. Unfortunately, most programmers only learn imperative programming languages (like C++ or python). I say unfortunately, because these languages achieve all their power through what programmers call "side effects". The major downside for us is that this means they can't be efficiently machine checked for safety or correctness. The first self-modifying AIs will hopefully be written in functional programming languages, so learn something useful like [Haskell](http://learnyouahaskell.com/) or Scheme. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [MATH 55 ](http://math.berkeley.edu/courses/choosing/lowerdivcourses/math55)![](http://i.imgur.com/2Ok48.gif) [CME 305 ](http://explorecourses.stanford.edu/print?page=0&catalog=&q=discrete+mathematics+and+algorithms&filter-coursestatus-Active=on&descriptions=on&collapse=&catalog=)![](http://i.imgur.com/kql8l.gif) [6.042J/18.062J ](http://student.mit.edu/catalog/m6a.html#6.042)![](http://i.imgur.com/NyeP3.gif) [21-228 ](http://www.math.cmu.edu/undergraduate/crs/21228.htm)![](https://www.coursera.org/favicon.ico)[Free Online](https://www.coursera.org/course/optimization) | ###### Discrete Math [![](http://louie.divide0.net/75182435.jpg)](http://www.amazon.com/Discrete-Mathematics-Applications-Kenneth-Rosen/dp/0073383090) | ###### Much like programming, there are two major branches of mathematics as well: Discrete and continuous. It turns out a lot of physics and all of modern computation is actually discrete. And although continuous approximations have occasionally yielded useful results, sometimes you just need to calculate it the discrete way. Unfortunately, most engineers squander the majority of their academic careers studying higher and higher forms of calculus and other continuous mathematics. If you care about AI, study discrete math so you can understand computation and not just electricity. Also, you should pick up enough graph theory in this course to handle the basic mechanics of decision theory -- which you're gonna want to learn later. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [MATH 110 ](http://math.berkeley.edu/courses/choosing/course-descriptions)![](http://i.imgur.com/2Ok48.gif) [MATH 113 ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&catalog=&q=math+113&collapse=)![](http://i.imgur.com/kql8l.gif) [18.06 ](http://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/index.htm)![](http://i.imgur.com/NyeP3.gif) [21-341 ](http://www.math.cmu.edu/undergraduate/crs/21341.htm)![](https://www.coursera.org/favicon.ico)[Free Online](https://www.coursera.org/course/matrix) | ###### Linear Algebra [![](http://images.barnesandnoble.com/images/43890000/43896501.JPG)](http://www.amazon.com/Linear-Algebra-Right-Sheldon-Axler/dp/0387982582) | ###### Linear algebra is the foundation of quantum physics and a huge amount of probability theory. It even shows up in analyses of things like neural networks. You can't possibly get by in machine learning (later) without speaking linear algebra. So learn it early in your scholastic career. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [MATH 135 ](http://general-catalog.berkeley.edu/catalog/gcc_list_crse_req?p_dept_name=Mathematics&p_dept_cd=MATH)![](http://i.imgur.com/2Ok48.gif) [MATH 161 ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&catalog=&q=MATH+161&collapse=)![](http://i.imgur.com/kql8l.gif) [24.243 ](http://stellar.mit.edu/S/course/24/sp07/24.243/index.html)![](http://i.imgur.com/NyeP3.gif) [21-602 ](http://www.math.cmu.edu/graduate/graduatecourses/21602.htm)![](http://www.hcs.harvard.edu/heen/ext_logo.png)[Free Online](http://www.extension.harvard.edu/open-learning-initiative/sets-counting-probability) | ###### Set Theory [![](http://img1.imagesbn.com/p/9781614271314_p0_v1_s260x420.JPG)](http://www.amazon.com/Naive-Set-Theory-Paul-Halmos/dp/1614271313/) | ###### Like learning how to read in mathematics. But instead of building up letters into words, you'll be building up axioms into theorems. This will introduce you to the program of using axioms to capture intuition, finding problems with the axioms, and fixing them. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [MATH 125A ](http://math.berkeley.edu/courses/choosing/course-descriptions)![](http://i.imgur.com/2Ok48.gif) [CS 103 ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&catalog=&q=CS+103%3A+Mathematical+Foundations+of+Computing&collapse=)![](http://i.imgur.com/kql8l.gif) [24.241 ](http://ocw.mit.edu/courses/linguistics-and-philosophy/24-241-logic-i-fall-2009/)![](http://i.imgur.com/NyeP3.gif) [21-600 ](http://www.math.cmu.edu/graduate/graduatecourses/21600.htm)![](https://www.coursera.org/favicon.ico)[Free Online](https://www.coursera.org/course/intrologic) | ###### Mathematical Logic [![](http://images.barnesandnoble.com/images/40240000/40240087.JPG)](http://www.amazon.com/Introduction-Mathematical-Logic-Eliot-Mendelson/dp/B0047TFBYA) | ###### The mathematical equivalent of building words into sentences. Essential for the mathematics of self-modification. And even though Sherlock Holmes and other popular depictions make it look like magic, it's just lawful formulas all the way down. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [COMPSCI 170 ](http://general-catalog.berkeley.edu/catalog/gcc_list_crse_req?p_dept_name=Computer+Science&p_dept_cd=COMPSCI&p_path=l)![](http://i.imgur.com/2Ok48.gif) [CS 161 ](http://openclassroom.stanford.edu/MainFolder/CoursePage.php?course=IntroToAlgorithms)![](http://i.imgur.com/kql8l.gif) [6.046J ](http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-046j-introduction-to-algorithms-sma-5503-fall-2005/index.htm)![](http://i.imgur.com/NyeP3.gif) [15-451 ](http://coursecatalog.web.cmu.edu/schoolofcomputerscience/)![](http://upload.wikimedia.org/wikipedia/en/thumb/3/3c/Udacity_Logo.png/200px-Udacity_Logo.png)[Free Online](http://www.udacity.com/overview/Course/cs215/CourseRev/1) | ###### Efficient Algorithms and Intractable Problems [![](http://images.barnesandnoble.com/images/128250000/128254107.JPG)](http://www.amazon.com/Introduction-Algorithms-Thomas-H-Cormen/dp/0262033844) | ###### Like building sentences into paragraphs. Algorithms are the recipes of thought. One of the more amazing things about algorithm design is that it's often possible to tell how long a process will take to solve a problem before you actually run the process to check it. Learning how to design efficient algorithms like this will be a foundational skill for anyone programming an entire AI, since AIs will be built entirely out of collections of algorithms. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [MATH 128A ](http://general-catalog.berkeley.edu/catalog/gcc_list_crse_req?p_dept_name=Mathematics&p_dept_cd=MATH)![](http://i.imgur.com/2Ok48.gif)[CME206 ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&q=CME206)![](http://i.imgur.com/kql8l.gif) [18.330 ](http://ocw.mit.edu/courses/mathematics/18-330-introduction-to-numerical-analysis-spring-2004/index.htm)![](http://i.imgur.com/NyeP3.gif) [21-660 ](http://www.math.cmu.edu/graduate/graduatecourses/21660.htm)![](https://twimg0-a.akamaihd.net/profile_images/2751101846/414f6e958a4ee745543c05b89129fcee.jpeg)[Free Online](http://www.saylor.org/courses/ma213/) | ###### Numerical Analysis [![](http://images.betterworldbooks.com/049/Numerical-Methods-Faires-J-Douglas-9780495114765.jpg)](http://www.google.com/url?q=http://images.betterworldbooks.com/049/Numerical-Methods-Faires-J-Douglas-9780495114765.jpg&usd=2&usg=ALhdy2-MOuKMD-http://www.amazon.com/Numerical-Methods-J-Douglas-Faires/dp/0534407617/) | ###### There are ways to systematically design algorithms that only get things slightly wrong when the input data has tiny errors. And then there's programs written by amateur programmers who don't take this class. Most programmers will skip this course because it's not required. But for us, getting the right answer is very much required. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [COMPSCI 172 ](http://general-catalog.berkeley.edu/catalog/gcc_list_crse_req?p_dept_name=Computer+Science&p_dept_cd=COMPSCI&p_path=l)![](http://i.imgur.com/2Ok48.gif) [CS 154 ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&catalog=&q=CS+154%3A+Introduction+to+Automata+and+Complexity+Theory&collapse=)![](http://i.imgur.com/kql8l.gif) [6.840J ](http://ocw.mit.edu/courses/mathematics/18-404j-theory-of-computation-fall-2006/index.htm)![](http://i.imgur.com/NyeP3.gif) [15-453 ](http://coursecatalog.web.cmu.edu/schoolofcomputerscience/)[![](http://irynsoft.com/home/wp-content/themes/TheCorporation/timthumb.php?src=image/MITOCW200x.png&h=220&w=330&zc=1)](http://ocw.mit.edu/courses/brain-and-cognitive-sciences/9-012-the-brain-and-cognitive-sciences-ii-spring-2006/)[Free Online](http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-045j-automata-computability-and-complexity-spring-2011/index.htm) | ###### Computability and Complexity [![](http://images.barnesandnoble.com/images/180130000/180133794.JPG)](http://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/113318779X) | ###### This is where you get to study computing at it's most theoretical. Learn about the Church-Turing thesis, the universal nature and applicability of computation, and how just like AIs, everything else is algorithms... all the way down. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [COMPSCI 191 ](http://general-catalog.berkeley.edu/catalog/gcc_list_crse_req?p_dept_name=Computer+Science&p_dept_cd=COMPSCI&p_path=l)![](http://i.imgur.com/2Ok48.gif) [CS 259Q ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&catalog=&q=CS+259Q%3A+Quantum+Computing&collapse=)![](http://i.imgur.com/kql8l.gif) [6.845 ](http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-845-quantum-complexity-theory-fall-2010/index.htm)![](http://i.imgur.com/NyeP3.gif) [33-658 ](http://www.cmu.edu/physics/courses/undergraduate/index.html)![](http://www.danpontefract.com/wp-content/uploads/2012/05/edx.jpg)[Free Online](https://www.edx.org/courses/BerkeleyX/CS191x/2013_Spring/about) | ###### Quantum Computing [![](http://images.barnesandnoble.com/images/63880000/63881615.JPG)](http://www.amazon.com/Quantum-Computation-Information-10th-Anniversary/dp/1107002176) | ###### It turns out that our universe doesn't run on Turing Machines, but on quantum physics. And something called BQP is the class of algorithms that are actually efficiently computable in our universe. Studying the efficiency of algorithms relative to classical computers is useful if you're programming something that only needs to work today. But if you need to know what is efficiently computable in our universe (at the limit) from a theoretical perspective, quantum computing is the only way to understand that. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [COMPSCI 273 ](http://general-catalog.berkeley.edu/catalog/gcc_list_crse_req?p_dept_name=Computer+Science&p_dept_cd=COMPSCI&p_path=l)![](http://i.imgur.com/2Ok48.gif) [CS149 ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&catalog=&q=CS+149%3A+Parallel+Computing&collapse=)![](http://i.imgur.com/kql8l.gif) [18.337J ](http://beowulf.csail.mit.edu/18.337/index.html)![](http://i.imgur.com/NyeP3.gif) [15-418 ](http://www.cs.cmu.edu/afs/cs/academic/class/15418-s12/www/)![](http://upload.wikimedia.org/wikipedia/en/thumb/3/3c/Udacity_Logo.png/200px-Udacity_Logo.png)[Free Online](http://www.udacity.com/overview/Course/cs344/CourseRev/1) | ###### Parallel Computing [![](http://images.barnesandnoble.com/images/10710000/10714681.jpg)](http://www.amazon.com/Introduction-Parallel-Computing-Ananth-Grama/dp/0201648652) | ###### There's a good chance that the first true AIs will have at least some algorithms that are inefficient. So they'll need as much processing power as we can throw at them. And there's every reason to believe that they'll be run on parallel architectures. There are a ton of issues that come up when you switch from assuming sequential instruction ordering to parallel processing. There's threading, deadlocks, message passing, etc. The good part about this course is that most of the problems are pinned down and solved: You're just learning the practice of something that you'll need to use as a tool, but won't need to extend much (if any). |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [EE 219C ](http://www.eecs.berkeley.edu/~sseshia/219c/)![](http://i.imgur.com/2Ok48.gif) [MATH 293A ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&catalog=&q=math+293A+proof+theory&collapse=)![](http://i.imgur.com/kql8l.gif) [6.820 ](http://stellar.mit.edu/S/course/6/fa11/6.820/index.html)![](http://i.imgur.com/NyeP3.gif) [15-414 ](http://www.cs.cmu.edu/~emc/15414-f11/)![](http://upload.wikimedia.org/wikipedia/en/thumb/3/3c/Udacity_Logo.png/200px-Udacity_Logo.png)[Free Online](http://www.udacity.com/overview/Course/cs348/CourseRev/1) | ###### Automated Program Verification [![](http://images.barnesandnoble.com/images/127400000/127408116.JPG)](http://www.amazon.com/Principles-Model-Checking-Christel-Baier/dp/026202649X) | ###### Remember how I told you to learn functional programming way back at the beginning? Now that you wrote your code in functional style, you'll be able to do automated and interactive theorem proving on it to help verify that your code matches your specs. Errors don't make programs better and all large programs that aren't formally verified are reliably \\*full\\* of errors. Experts who have thought about the problem for more than 5 minutes agree that [incorrectly designed AI could cause disasters](http://intelligence.org/research/), so world-class caution is advisable. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [COMPSCI 174 ](http://general-catalog.berkeley.edu/catalog/gcc_list_crse_req?p_dept_name=Computer+Science&p_dept_cd=COMPSCI&p_path=l)![](http://i.imgur.com/2Ok48.gif) [CS 109 ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&catalog=&q=CS+109&collapse=)![](http://i.imgur.com/kql8l.gif) [6.042J ](http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2005/index.htm)![](http://i.imgur.com/NyeP3.gif) [21-301 ](http://www.math.cmu.edu/undergraduate/crs/21301.htm)![](http://www.hcs.harvard.edu/heen/ext_logo.png)[Free Online](http://www.extension.harvard.edu/open-learning-initiative/sets-counting-probability) | ###### Combinatorics and Discrete Probability [![](http://images.barnesandnoble.com/images/8730000/8736279.jpg)](http://www.amazon.com/Probability-Computing-Randomized-Algorithms-Probabilistic/dp/0521835402/) | ###### Life is uncertain and AIs will handle that uncertainty using probabilities. Also, probability is the foundation of the modern concept of rationality and the modern field of machine learning. Probability theory has the same foundational status in AI that logic has in mathematics. Everything else is built on top of probability. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [STAT 210A ](http://general-catalog.berkeley.edu/catalog/gcc_list_crse_req?p_dept_name=Statistics&p_dept_cd=STAT)![](http://i.imgur.com/2Ok48.gif) [STATS 270 ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&catalog=&q=STATS+270%3A+A+Course+in+Bayesian+Statistics&collapse=)![](http://i.imgur.com/kql8l.gif) [6.437/438](http://student.mit.edu/catalog/m6b.html#6.437)![](http://i.imgur.com/NyeP3.gif) [36-266 ](http://coursecatalog.web.cmu.edu/melloncollegeofscience/departmentofmathematicalsciences/)[![](https://www.coursera.org/favicon.ico)](http://ocw.mit.edu/courses/brain-and-cognitive-sciences/9-012-the-brain-and-cognitive-sciences-ii-spring-2006/)[Free Online](https://www.coursera.org/course/pgm) | ###### Bayesian Modeling and Inference [![](http://images.barnesandnoble.com/images/39570000/39575215.JPG)](http://www.amazon.com/Probabilistic-Graphical-Models-Principles-Computation/dp/0262013193) | ###### Now that you've learned how to calculate probabilities, how do you combine and compare all the probabilistic data you have? Like many choices before, there is a dominant paradigm (frequentism) and a minority paradigm (Bayesianism). If you learn the wrong method here, you're deviating from a [knowably correct framework](/lw/774/a_history_of_bayes_theorem/) for integrating degrees of belief about new information and embracing a cadre of special purpose, ad-hoc statistical solutions that often break silently and without warning. Also, quite embarrassingly, frequentism's ability to get things right is bounded by how well it later turns out to have agreed with Bayesian methods anyway. Why not just do the correct thing from the beginning and not [have your lunch eaten by Bayesians](http://xkcd.com/1132/) every time you and them disagree? |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [MATH 218A/B](http://general-catalog.berkeley.edu/catalog/gcc_list_crse_req?p_dept_name=Mathematics&p_dept_cd=MATH)![](http://i.imgur.com/2Ok48.gif) [MATH 230A/B/C ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&catalog=&q=MATH+230A&collapse=)![](http://i.imgur.com/kql8l.gif) [6.436J ](http://student.mit.edu/catalog/search.cgi?search=6.436J&style=verbatim&when=*&days_offered=*&start_time=*&duration=*&total_units=*)![](http://i.imgur.com/NyeP3.gif) [36-225/21-325 ](http://coursecatalog.web.cmu.edu/melloncollegeofscience/departmentofmathematicalsciences/)![](https://twimg0-a.akamaihd.net/profile_images/2751101846/414f6e958a4ee745543c05b89129fcee.jpeg)[Free Online](http://www.saylor.org/courses/ma252/) | ###### Probability Theory [![](http://i.imgur.com/QZ5t2.png)](http://www.amazon.com/Introduction-Probability-Theory-Applications-Vol/dp/0471257087) | ###### No more applied probability: Here be theory! Deep theories of probabilities are something you're going to have to extend to help build up the field of AI one day. So you actually have to know why all the things you're doing are working inside out. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [COMPSCI 189 ](http://general-catalog.berkeley.edu/catalog/gcc_list_crse_req?p_dept_name=Electrical+Engineering+and+Computer+Sciences&p_dept_cd=EECS)![](http://i.imgur.com/2Ok48.gif) [CS 229 ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&q=CS229)![](http://i.imgur.com/kql8l.gif) [6.867 ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&q=CS229)![](http://i.imgur.com/NyeP3.gif) [10-601 ](http://coursecatalog.web.cmu.edu/schoolofcomputerscience/)![](https://www.coursera.org/favicon.ico)[Free Online](https://www.coursera.org/course/ml) | ###### Machine Learning [![](http://images.barnesandnoble.com/images/12080000/12081669.jpg)](http://www.amazon.com/Pattern-Recognition-Learning-Information-Statistics/dp/0387310738) | ###### Now that you chose the right branch of math, the right kind of statistics, and the right programming paradigm, you're prepared to study machine learning (aka statistical learning theory). There are lots of algorithms that leverage probabilistic inference. Here you'll start learning techniques like clustering, mixture models, and other things that cache out as precise, technical definitions of concepts that normally have rather confused or confusing English definitions. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [COMPSCI 188 ](http://general-catalog.berkeley.edu/catalog/gcc_list_crse_req?p_dept_name=Electrical+Engineering+and+Computer+Sciences&p_dept_cd=EECS)![](http://i.imgur.com/2Ok48.gif) [CS 221 ](https://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&q=CS221)![](http://i.imgur.com/kql8l.gif) [6.034 ](http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-034-artificial-intelligence-fall-2010/index.htm)![](http://i.imgur.com/NyeP3.gif) [15-381 ](http://coursecatalog.web.cmu.edu/melloncollegeofscience/departmentofmathematicalsciences/)![](http://www.danpontefract.com/wp-content/uploads/2012/05/edx.jpg)[Free Online](https://www.edx.org/courses/BerkeleyX/CS188.1x/2013_Spring/about) | ###### Artificial Intelligence [![](http://images.barnesandnoble.com/images/45820000/45827362.JPG)](http://www.amazon.com/Artificial-Intelligence-Modern-Approach-Edition/dp/0136042597) | ###### We made it! We're finally doing some AI work! Doing logical inference, heuristic development, and other techniques will leverage all the stuff you just learned in machine learning. While modern, mainstream AI has many useful techniques to offer you, the authors will tell you outright that, "the princess is in another castle". Or rather, there isn't a princess of general AI algorithms anywhere -- not yet. We're gonna have to go back to mathematics and build our own methods ourselves. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [MATH 136 ](http://general-catalog.berkeley.edu/catalog/gcc_list_crse_req?p_dept_name=Mathematics&p_dept_cd=MATH)![](http://i.imgur.com/2Ok48.gif) [PHIL 152 ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&catalog=&q=PHIL+152%3A+Computability+and+Logic&collapse=)![](http://i.imgur.com/kql8l.gif) [18.511 ](http://student.mit.edu/catalog/search.cgi?search=Introduction+to+computability&style=verbatim&when=*&days_offered=*&start_time=*&duration=*&total_units=*)![](http://i.imgur.com/NyeP3.gif) [80-311 ](http://www.hss.cmu.edu/philosophy/courses/courses-descriptions.php)[![](http://irynsoft.com/home/wp-content/themes/TheCorporation/timthumb.php?src=image/MITOCW200x.png&h=220&w=330&zc=1)](http://ocw.mit.edu/courses/brain-and-cognitive-sciences/9-012-the-brain-and-cognitive-sciences-ii-spring-2006/)[Free Online](http://ocw.mit.edu/courses/mathematics/18-404j-theory-of-computation-fall-2006/index.htm) | ###### Incompleteness and Undecidability [![](http://i.simplecd.me/HVbTd1iW.jpg)](http://www.amazon.com/Computability-Introduction-Recursive-Function-Theory/dp/0521294657) | ###### Probably the most celebrated results is mathematics are the negative results by Kurt Goedel: No finite set of axioms can allow all arithmetic statements to be decided as either true or false... and no set of self-referential axioms can even "believe" in its own consistency. Well, that's a darn shame, because recursively self-improving AI is going to need to side-step these theorems. Eventually, someone will unlock the key to over-coming this difficulty with self-reference, and if you want to help us do it, this course is part of the training ground. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [MATH 225A/B ](http://general-catalog.berkeley.edu/catalog/gcc_list_crse_req?p_dept_name=Mathematics&p_dept_cd=MATH)![](http://i.imgur.com/2Ok48.gif) [PHIL 151](http://explorecourses.stanford.edu/CourseSearch/search?view=catalog&filter-coursestatus-Active=on&page=0&q=PHIL151)![](http://i.imgur.com/kql8l.gif) [18.515 ](http://student.mit.edu/catalog/search.cgi?search=18.515&style=verbatim&when=*&days_offered=*&start_time=*&duration=*&total_units=*)![](http://i.imgur.com/NyeP3.gif) [21-600 ](http://coursecatalog.web.cmu.edu/schoolofcomputerscience/)[![](http://irynsoft.com/home/wp-content/themes/TheCorporation/timthumb.php?src=image/MITOCW200x.png&h=220&w=330&zc=1)](http://ocw.mit.edu/courses/brain-and-cognitive-sciences/9-012-the-brain-and-cognitive-sciences-ii-spring-2006/)[Free Online](http://ocw.mit.edu/high-school/courses/godel-escher-bach/) | ###### Metamathematics [![](http://redditorschoice.com/img/godel-escher-bach_2264_400.jpg)](http://www.amazon.com/G%C3%B6del-Escher-Bach-Eternal-Golden/dp/0465026567) | ###### Working within a framework of mathematics is great. Working above mathematics -- on mathematics -- with mathematics, is what this course is about. This would seem to be the most obvious first step to overcoming incompleteness somehow. Problem is, it's definitely not the whole answer. But it would be surprising if there were no clues here at all. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [MATH 229 ](http://general-catalog.berkeley.edu/catalog/gcc_list_crse_req?p_dept_name=Mathematics&p_dept_cd=MATH)![](http://i.imgur.com/2Ok48.gif) [MATH 290B ](http://explorecourses.stanford.edu/search?view=catalog&filter-coursestatus-Active=on&page=0&catalog=&q=%22model+theory%22&collapse=)![](http://i.imgur.com/kql8l.gif) [24.245 ](http://student.mit.edu/catalog/search.cgi?search=theory+of+models&style=verbatim&when=*&days_offered=*&start_time=*&duration=*&total_units=*)![](http://i.imgur.com/NyeP3.gif) [21-603 ](http://www.math.cmu.edu/graduate/graduatecourses/21603.htm)[![](http://irynsoft.com/home/wp-content/themes/TheCorporation/timthumb.php?src=image/MITOCW200x.png&h=220&w=330&zc=1)](http://ocw.mit.edu/courses/brain-and-cognitive-sciences/9-012-the-brain-and-cognitive-sciences-ii-spring-2006/)[Free Online](http://ocw.mit.edu/courses/mathematics/18-996a-simplicity-theory-spring-2004/) | ###### Model Theory [![](http://img2.imagesbn.com/images/146470000/146477322.JPG)](http://www.amazon.com/Theory-Edition-Studies-Foundations-Mathematics/dp/0444880542) | ###### One day, when someone does side-step self-reference problems enough to program a recursively self-improving AI, the guy sitting next to her who glances at the solution will go "Gosh, that's a nice bit of Model Theory you got there!" Think of Model Theory as a formal way to understand what "true" means. |
| ###### ![](http://i.imgur.com/gkWZ9.gif) [MATH 245A ](http://general-catalog.berkeley.edu/catalog/gcc_list_crse_req?p_dept_name=Mathematics&p_dept_cd=MATH)![](http://i.imgur.com/2Ok48.gif) [MATH 198 ](http://explorecourses.stanford.edu/CourseSearch/search?view=catalog&filter-coursestatus-Active=on&page=0&catalog=&q=MATH+198&collapse=)![](http://i.imgur.com/kql8l.gif) [18.996 ](http://math.mit.edu/~dspivak/teaching/sp13/CategoryTheoryForScientists.pdf)![](http://i.imgur.com/NyeP3.gif) [80-413 ](http://coursecatalog.web.cmu.edu/melloncollegeofscience/departmentofmathematicalsciences/)[![](http://irynsoft.com/home/wp-content/themes/TheCorporation/timthumb.php?src=image/MITOCW200x.png&h=220&w=330&zc=1)](http://ocw.mit.edu/courses/brain-and-cognitive-sciences/9-012-the-brain-and-cognitive-sciences-ii-spring-2006/)[Free Online](http://ocw.mit.edu/courses/mathematics/18-312-algebraic-combinatorics-spring-2009/index.htm) | ###### Category Theory [![](http://ecx.images-amazon.com/images/I/411642SVPGL._SL500_.jpg)](http://www.amazon.com/Category-Computer-Scientists-Foundations-Computing/dp/0262660717) | ###### Category theory is the precise way that you check if structures in one branch of math represent the same structures somewhere else. It's a remarkable field of meta-mathematics that nearly no one knows... and it could hold the keys to importing useful tools to help solve dilemmas in self-reference, truth, and consistency. |
| ###### Outside recommendations |     |   |
|     | ###### Harry Potter and the Methods of Rationality [![](http://images1.wikia.nocookie.net/__cb20120418015042/hpmor/images/thumb/0/02/MethodsofRationality_Yudkowsky.jpg/235px-MethodsofRationality_Yudkowsky.jpg)](http://hpmor.com/) | ###### Highly recommended book of light, enjoyable reading that predictably inspires people to realize FAI is an important problem AND that they should probably do something about that. You can start reading this immediately, before any of the above courses. |
|     | ###### Global Catastrophic Risks [![](http://ecx.images-amazon.com/images/I/41Ra5TVBOaL.jpg)](http://www.amazon.com/Global-Catastrophic-Risks-Nick-Bostrom/dp/0199606501) | ###### A good primer on xrisks and why they might matter. SPOILER ALERT: They matter. You can probably skim read this early on in your studies. Right after HP:MoR. |
|     | ###### The Sequences [![](http://commonsenseatheism.com/wp-content/uploads/2012/06/The-Sequences-cover.png)](http://wiki.lesswrong.com/wiki/Sequences#Core_Sequences) | ###### Rationality: the indispensable art of [non-self-destruction](/lw/hf/debiasing_as_nonselfdestruction/)! There are manifold ways you can fail at life... especially since your brain is made out of broken, undocumented spaghetti code. You should learn more about this ASAP. That goes double if you want to build AIs. [I highly recommend you read this](/lw/34m/what_ive_learned_from_less_wrong/) _before_ you get too deep into your academic career. For instance, I know people who went to college for 5 years, while somehow managing to learn nothing. That's because instead of learning, they merely [recited the teacher's password](/lw/iq/guessing_the_teachers_password/) every semester until they could dump whatever they ["learned"](/lw/ip/fake_explanations/) out of their heads as soon as they walked out of the final. Don't let this happen to you! This, and a hundred other useful lessons like it about how to avoid predictable, universal errors in human reasoning and behavior await you in [The Sequences](/sequences/)! |
|     | ###### Good and Real [![](http://img1.imagesbn.com/images/127400000/127403772.JPG)](http://www.amazon.com/Good-Real-Demystifying-Paradoxes-Bradford/dp/0262042339/ref=sr_1_1?s=books&ie=UTF8&qid=1354230770&sr=1-1&keywords=Good+and+Real) | ###### A surprisingly thoughtful book on decision theory and other paradoxes in physics and math that can be dissolved. Reading this book is 100% better than continuing to go through your life with a hazy understanding of how important things like free will, choice, and meaning actually work. I recommend reading this right around the time you finish up your quantum computing course. |
|     | ###### MIRI Research Papers [![](http://louie.divide0.net/siresearch.png)](http://www.intelligence.org/research) | ###### MIRI has already published 30+ research papers that can help orient future Friendliness researchers. The work is pretty fascinating and readily accessible for people interested in the subject. For example: How do different proposals for value aggregation and extrapolation work out? What are the likely outcomes of different intelligence explosion scenarios? Which ethical theories are fit for use by an FAI? What improvements can be made to modern decision theories to stop them from diverging from winning strategies? When will AI arrive? Do AIs deserve moral consideration? Even though most of your work will be more technical than this, you can still gain a lot of shared background knowledge and more clearly see [where the broad problem space is located](http://lukeprog.com/SaveTheWorld.html). I'd recommend reading these anytime after you finish reading [The Sequences](/sequences/) and Global Catastrophic Risks. |
|     | ###### Universal Artificial Intelligence [![](http://images.barnesandnoble.com/images/57300000/57309654.JPG)](http://www.amazon.com/Universal-Artificial-Intelligence-Algorithmic-Probability/dp/3642060528) | ###### A useful book on "optimal" AI that gives a reasonable formalism for studying how the most powerful classes of AIs would behave under conservative safety design scenarios (i.e., lots and lots of reasoning ability). Wait until you finish most of the coursework above before trying to tackle this one. |

Do also look into: [Formal Epistemology](/lw/3n0/an_overview_of_formal_epistemology_links/), [Game Theory](https://www.coursera.org/course/gametheory), [Decision Theory](http://wiki.lesswrong.com/wiki/Decision_theory), and [Deep Learning](https://www.coursera.org/course/neuralnets).