annotate org/sussman-reading-list.org @ 136:46bc0f596b91

ideas from reading /life in the frozen state/.
author Robert McIntyre <rlm@mit.edu>
date Sun, 07 Sep 2014 21:35:52 -0700
parents 5d4c3782997f
children a5d107180b16
rev   line source
rlm@97 1 #+title: Prof. Sussman's Reading List
rlm@97 2 #+author: Gerald Sussman (compiled by Robert McIntyre)
rlm@97 3 #+email: rlm@mit.edu
rlm@103 4 #+description: Professor Sussman's reading recommendations
rlm@122 5 #+keywords: Sussman physics computer science reading list MIT
rlm@97 6 #+SETUPFILE: ../../aurellem/org/setup.org
rlm@97 7 #+INCLUDE: ../../aurellem/org/level-0.org
rlm@97 8 #+babel: :mkdirp yes :noweb yes :exports both
rlm@97 9
rlm@125 10 #+BEGIN_QUOTE
rlm@122 11 Serving as a TA for Professor Sussman will get you three things: great
rlm@122 12 advice, spectacular reading recommendations, and lots of high quality
rlm@121 13 tea. I can't share the advice or the tea, but I can compile a reading
rlm@125 14 list. Some of the materials on this list represent research paths that
rlm@125 15 lead to unexplored territory. Some are textbooks that express concepts
rlm@125 16 so clearly they will change your life and make you weep for joy. I
rlm@125 17 hope that you will get something interesting out of this reading list,
rlm@121 18 wherever you are in life -- there's stuff I wish I knew about in
rlm@121 19 middle school, and there are things I can't wait to read this
rlm@121 20 summer. Enjoy! (and send corrections to reading-list@aurellem.org!)
rlm@115 21
rlm@125 22 --Robert McIntyre
rlm@125 23 #+END_QUOTE
rlm@125 24
rlm@104 25 If you want to cite any of these papers, [[./sussman-recs.bib][here]] is a bibtex format file
rlm@104 26 that contains all of these papers in the order they appear on the
rlm@104 27 page. ([[./sussman-recs.bib]]).
rlm@104 28
rlm@123 29 * Some /Real/ High school Reading
rlm@123 30
rlm@123 31 - [[http://www.cambridge.org/us/academic/subjects/physics/cosmology-relativity-and-gravitation/first-course-general-relativity][A First Course in General Relativity]], by Bernard F Schultz
rlm@123 32 - ISBN: 9780521277037
rlm@123 33 - Readable, not too heavy.
rlm@123 34 - Minimal dependencies
rlm@123 35 - You can just go through it slowly and understand at each step.
rlm@123 36
rlm@123 37 - [[http://www.amazon.com/Space-Special-Relativity-David-Mermin/dp/0881334200][Space and Time in Special Relativity]], by [[http://www.lassp.cornell.edu/mermin/][David Mermin]]
rlm@123 38 - ISBN: 0881334200
rlm@123 39 - HIGHLY accessible.
rlm@123 40 - This will change your life.
rlm@123 41 - You will understand special relativity!
rlm@123 42
rlm@123 43 - [[http://www.feynmanlectures.info/][The Feynman Lectures on Physics]]
rlm@123 44 - Highly understandable
rlm@123 45 - Just go there and learn something already!
rlm@123 46
rlm@123 47 - [[http://aurellem.org/society-of-mind/][Society of Mind]], by [[http://web.media.mit.edu/~minsky/][Marvin Minsky]]
rlm@123 48 - A trove of wonderful ideas!
rlm@123 49
rlm@123 50 - [[http://www.cambridge.org/us/knowledge/discountpromotion/?site_locale=en_US&code=L3QCSD][Quantum Computing since Democritus]], by [[http://www.scottaaronson.com/][Scott Aaronson]]
rlm@123 51 - Everything you might want to know about computing with QM, with
rlm@123 52 a philosophical outlook.
rlm@123 53
rlm@123 54 - Bible, Talmud, Koran
rlm@123 55 - Read them whether or not you believe them!
rlm@123 56 - Be sure to read between the lines, and you can discover what
rlm@123 57 people were actually thinking back then.
rlm@123 58 - Very interesting documents!
rlm@123 59 - [[http://jhom.com/topics/voice/bat_kol_bab.htm][Bava Metzia 59b]] is an interesting story!
rlm@123 60
rlm@123 61 * Representative Student Theses
rlm@123 62
rlm@123 63 These are students where I played a large role in their
rlm@123 64 education. Many of them represent compelling research directions
rlm@123 65 that desperately need to be extended by the next generation of
rlm@123 66 researchers! As Minsky says, if you want to do something really new,
rlm@123 67 go back to points in the past where there was a neat idea that never
rlm@123 68 really caught on, and follow the path of that idea to see where it
rlm@123 69 leads. A comprehensive list of all my student's works can be found
rlm@123 70 at my [[http://groups.csail.mit.edu/mac/users/gjs/gjs.html][homepage]]. If you want to cite any of these papers, you can
rlm@123 71 find bibtex citations here: [[./sussman-recs.bib]].
rlm@123 72
rlm@123 73 In particular, here's two great ideas that seem extremely promising
rlm@123 74 and have NOT been properly explored! You could be the first person
rlm@123 75 to get them working!
rlm@123 76
rlm@126 77 - Using chaos to get unlimited measurement precision!
rlm@126 78 - In chaotic systems, states that are near to each other at one
rlm@126 79 point in time become exponentially farther apart from each other
rlm@126 80 as the system evolves in time. Therefore, you might be able to
rlm@126 81 attain arbitrary precision by waiting for the system to evolve,
rlm@126 82 and then determining what initial state must have led to the
rlm@126 83 later state.
rlm@126 84 - Two notable papers:
rlm@123 85 - [[http://hdl.handle.net/1721.1/5953][A Global Approach to Parameter Estimation of Chaotic Dynamical
rlm@123 86 Systems]], by [[http://eas.caltech.edu/people/3209/profile][Athanassios G. Siapas]], 1992.
rlm@123 87 - [[http://hdl.handle.net/1721.1/7060][Parameter Estimation in Chaotic Systems]], by Elmer Hung, 1995.
rlm@123 88 - No one put enough effort into seeing if it really worked.
rlm@123 89 - Seems to allow for almost unlimited precision in measurement.
rlm@123 90 - Initial results look very promising, with a =13 order of
rlm@123 91 magnitude= improvement in measurement precision in a simple
rlm@123 92 experiment.
rlm@123 93 - You will win the Nobel Prize if you can get it to work, because
rlm@126 94 you will revolutionize the way we do measurements. In
rlm@126 95 particular, you could measure the Gravitational Constant with
rlm@126 96 unprecedented accuracy.
rlm@123 97
rlm@127 98 - [[http://hdl.handle.net/1721.1/12007][Towards Intelligent Structures: Active Control of Buckling]]
rlm@123 99 - By [[http://www.berlinplace.com/][Andrew A. Berlin]], 1994
rlm@123 100 - Achieves a 10 fold increase in strength by actively eliminating
rlm@123 101 vibrational modes.
rlm@123 102 - Such a good idea; It's cool, short -- great!
rlm@128 103 - Better quality, color version of the thesis [[http://www.berlinplace.com/aitr-1590.pdf][here]].
rlm@123 104 - No one's followed up on it!
rlm@123 105
rlm@123 106 In historical order:
rlm@123 107
rlm@123 108 - [[http://hdl.handle.net/1721.1/6888][A System for Representing and Using Real-World Knowledge]]
rlm@123 109 - By [[http://www.cs.cmu.edu/~sef/][Scott Elliot Fahlman]], 1977
rlm@123 110 - Basically the reason that the Connection Machine was later
rlm@123 111 invented.
rlm@123 112
rlm@123 113 - [[http://hdl.handle.net/1721.1/5679][The Connection Machine]]
rlm@123 114 - By [[http://longnow.org/people/board/danny0/][Danny Hillis]], 1981
rlm@123 115 - Beautiful thesis, though it doesn't tell you anything you can
rlm@123 116 really /do/ today.
rlm@123 117
rlm@123 118 - [[http://hdl.handle.net/1721.1/6948][A Circuit Grammar For Operational Amplifier Design]]
rlm@123 119 - By Andrew Ressler, 1984
rlm@123 120 - If you're an Electrical Engineering person.
rlm@123 121
rlm@123 122 - [[http://hdl.handle.net/1721.1/6959][ONTIC: A Knowledge Representation System for Mathematics]]
rlm@123 123 - By [[http://ttic.uchicago.edu/~dmcallester/][David A. McAllester]], 1987
rlm@123 124 - Very hard, very deep.
rlm@123 125 - You will need to know a lot of Math.
rlm@123 126
rlm@123 127 - [[http://hdl.handle.net/1721.1/7025][KAM: Automatic Planning and Interpretation of Numerical
rlm@123 128 Experiments Using Geometrical Methods]]
rlm@123 129 - By Kenneth Man-Kam Yip, 1989
rlm@123 130 - Coolest PhD thesis ever!
rlm@123 131 - Solve problems using graphs.
rlm@123 132 - So cool!
rlm@123 133
rlm@123 134 - [[http://hdl.handle.net/1721.1/80483][Botanical Computing: A Developmental Approach to Generating
rlm@123 135 Interconnect Topologies on an Amorphous Computer]]
rlm@123 136 - By [[http://sta.uwi.edu/pelican/60under60/dcoore.asp][Daniel Coore]], 1999
rlm@123 137 - Interesting to programmers especially.
rlm@123 138
rlm@123 139 - [[http://hdl.handle.net/1721.1/86667][Programmable Self-Assembly: Constructing Global Shape using
rlm@123 140 Biologically-inspired Local Interactions and Origami Mathematics]]
rlm@123 141 By [[http://www.eecs.harvard.edu/~rad/][Radhika Nagpal]], 2001
rlm@123 142 - Also Interesting to programmers.
rlm@123 143
rlm@123 144 - [[http://hdl.handle.net/1721.1/8228][Cellular Computation and Communications using Engineered Genetic
rlm@123 145 Regulatory Networks]]
rlm@123 146 - By [[http://groups.csail.mit.edu/mac/users/rweiss/][Ron Weiss]], 2001
rlm@123 147 - Third in a line of bio / amorphous computing papers which should
rlm@123 148 be highly interesting to programmers.
rlm@123 149
rlm@123 150 - [[http://hdl.handle.net/1721.1/6082][An Algorithm for Bootstrapping Communications]]
rlm@123 151 - By Jake Beal, 2001
rlm@123 152 - Seems like it could be "the right thing" for how modules in the
rlm@123 153 brain learn to talk to each other.
rlm@123 154 - Someone should expand on this work!
rlm@123 155 - Also a PhD thesis from Beal on this: [[http://hdl.handle.net/1721.1/38483][Learning by Learning to
rlm@123 156 Communicate]], 2007
rlm@123 157
rlm@123 158 - [[http://hdl.handle.net/1721.1/37913][Games, Puzzles, and Computation]]
rlm@123 159 - By [[http://groups.csail.mit.edu/mac/users/bob/][Robert Aubrey Hearn]], 2006.
rlm@123 160
rlm@123 161 - [[http://hdl.handle.net/1721.1/49525][Propagation Networks: A Flexible and Expressive Substrate for
rlm@123 162 Computation]]
rlm@123 163 - By [[http://web.mit.edu/~axch/www/][Alexey Andreyevich Radul]], 2009
rlm@123 164 - Is a completely new way to program computers.
rlm@123 165 - Under active development. You can get the latest code [[http://groups.csail.mit.edu/mac/users/gjs/propagators/propagator.tar][here]].
rlm@123 166
rlm@120 167 * From Sussman's Bookshelf:
rlm@101 168
rlm@117 169 - [[http://www.amazon.com/Introductory-Network-Theory-Amar-Bose/dp/B0000CMXS1][Introductory Network Theory]], by A.G. Bose and K.N. Stevens
rlm@117 170 - ASIN: B0000CMXS1
rlm@117 171 - Get the real story about RLC circuits!
rlm@117 172 - Obsolete -- it only covers linear circuits.
rlm@101 173
rlm@117 174 - [[http://www.amazon.com/Linear-Nonlinear-Circuits-Leon-Chua/dp/0070108986][Linear and Nonlinear Circuits]], by Chua, Desoler, and Kuh
rlm@117 175 - ISBN: 0070108986
rlm@117 176 - More up-to-date than /Network Theory/
rlm@101 177 - 10/10 would teach
rlm@117 178 - Mathematically very clear
rlm@101 179
rlm@117 180 - [[http://frank.harvard.edu/aoe/][The Art of Electronics]], by Horowitz & Hill
rlm@117 181 - ASIN: B001ERDQVI
rlm@117 182 - Practical
rlm@117 183 - Beautiful
rlm@101 184
rlm@117 185 - [[http://www.amazon.com/Analysis-Design-Analog-Integrated-Circuits/dp/0471574953/ref=sr_1_1?s=books&ie=UTF8&qid=1401819423&sr=1-1&keywords=Analysis+and+Design+of+Analog+Integrated+Circuits+3rd+edition][Analysis and Design of Analog Integrated Circuits]], by Grey and
rlm@117 186 Meyer
rlm@117 187 - ISBN: 0471574953
rlm@117 188 - Get the 2nd or 3rd edition, not later ones.
rlm@101 189
rlm@117 190 - [[http://www.maa.org/publications/maa-reviews/a-survey-of-modern-algebra][A Survey of Modern Algebra]], by Garrett Birkhoff and Saunders
rlm@117 191 MacLane
rlm@117 192 - ISBN: 9781568814544
rlm@122 193 - Goes all the way to Galois Theory!
rlm@117 194 - Clear!
rlm@101 195
rlm@117 196 - [[http://usf.usfca.edu/vca//][Visual Complex Analysis]], Needham
rlm@117 197 - ISBN: 0198534469
rlm@101 198 - Easy reading, well written
rlm@117 199 - Wonderful use of graphics!
rlm@101 200
rlm@117 201 - [[http://mitpress.mit.edu/books/solid-shape][Solid Shape]], Jan Koenderink
rlm@117 202 - ISBN: 026211139X
rlm@117 203 - Just good!
rlm@101 204
rlm@117 205 - [[http://www.cambridge.org/gb/academic/subjects/physics/theoretical-physics-and-mathematical-physics/probability-theory-logic-science][Probability: the Logic of Science]], by E.T. Jaynes
rlm@117 206 - ISBN: 9780521592710
rlm@117 207 - OMG just read this already!
rlm@117 208 - Here's [[http://www-biba.inrialpes.fr/Jaynes/prob.html][some]] [[http://omega.albany.edu:8008/JaynesBook.html][links]] to the book.
rlm@117 209 - This book will change your life, and make probability make
rlm@117 210 sense. Truly excellent book.
rlm@117 211 - Why aren't you reading this!?
rlm@101 212
rlm@117 213 - [[http://www.perseusacademic.com/book.php?isbn=0805390219][Calculus on Manifolds]], Spivak
rlm@117 214 - ISBN: 9780805390216
rlm@117 215 - Great Mathematical notation!
rlm@117 216 - Was an inspiration for [[http://groups.csail.mit.edu/mac/users/gjs/6946/sicm-html/book.html][SICM]].
rlm@117 217 - Book contains a great flame!
rlm@101 218
rlm@118 219 - [[http://www.goodreads.com/book/show/1258635.The_Variational_Principles_of_Mechanics][The Variational Principles of Mechanics]], by Cornelius Lanczos
rlm@118 220 - ISBN: 0486650677
rlm@118 221 - Very philosophic; deep.
rlm@117 222 - You could read it 100 times and learn something new each time!
rlm@103 223
rlm@119 224 - [[http://mitpress.mit.edu/books/computers-and-thought][Computers and Thought]], by Edward A. Feigenbaum (Editor), Julian
rlm@119 225 Feldman (Editor).
rlm@113 226 - ISBN: 0262560925
rlm@124 227 - This book includes some of the very interesting early papers in
rlm@124 228 AI, and is overall a great book. Of course, some of the included
rlm@124 229 papers are not very interesting.
rlm@113 230
rlm@119 231 - [[http://mitpress.mit.edu/books/configuration-space-method-kinematic-design-mechanisms][The Configuration Space Method for Kinematic Design of Mechanisms]],
rlm@113 232 by Elisha Sacks and Leo Joskowicz
rlm@119 233 - ISBN: 9780262013895
rlm@113 234 - I learned a lot reading this. (RLM should read this!)
rlm@113 235
rlm@119 236 - [[http://ukcatalogue.oup.com/product/9780199549078.do][Principles of Development]], by Wolpert
rlm@119 237 - ISBN: 0199554285
rlm@113 238
rlm@119 239 - [[http://www.goodreads.com/book/show/1547380.A_Genetic_Switch][A Genetic Switch]], by Mark Ptashne
rlm@119 240 - ISBN: 0865423156
rlm@119 241 - Such clarity!
rlm@119 242 - [[http://www.mskcc.org/research/lab/mark-ptashne/genetic-switch-lecture-series][Lecture Series Based on the book!]]
rlm@103 243
rlm@119 244 - [[http://making-of-a-fly.me/][The Making of a Fly]], by Peter A. Lawrence
rlm@119 245 - ISBN: 0632030488
rlm@119 246 - Probably out of date already, but very well written!
rlm@119 247
rlm@119 248 - [[http://www.amazon.com/Pattern-Formation-Ciliate-Studies-Models/dp/0195048903][Pattern Formation: Ciliate Studies and Models]], by Joseph Frankel
rlm@119 249 - ISBN: 0195048903
rlm@119 250 - My type of book!
rlm@119 251
rlm@119 252 - [[http://mitpress.mit.edu/books/harmonic-mind][The Harmonic Mind]], Volumes 1 and 2, by Smolenck and Legendre
rlm@119 253 - ISBN: 9780262516198
rlm@119 254 - I'm very interested in the amazing latency of the human
rlm@119 255 brain. This book presents a way by which multiple stages of
rlm@119 256 computation can be folded together into a single computation,
rlm@119 257 and is an interesting hypothesis about how the mind might work!
rlm@119 258
rlm@119 259 - [[http://www.arrl.org/shop/ARRL-Handbook-2013-Hardcover-Edition][The Radio Amateur's Handbook]], [[http://www.arrl.org/][ARRL]]
rlm@118 260 - /practical/ electronics book
rlm@119 261 - They've been making this book for about 100 years!
rlm@118 262
rlm@119 263 - [[http://www.amazon.com/Radiotron-Langford-Smith-Reproduced-Distributed-Corporation/dp/B000JILVH4][Radiotron Designer's Handbook, 4th edition, RCA]]
rlm@119 264 - ASIN: B000JILVH4
rlm@119 265 - I'm very interested in hi-fi.
rlm@118 266
rlm@103 267 * Marvin Minsky
rlm@122 268 Minsky really made me as a person. He was my adviser when I was a
rlm@122 269 student at MIT, and he got me my first job. He had the "magnetism"
rlm@103 270 to attract the most talented people to MIT to work on AI, and the
rlm@122 271 right amount of negligence and delegation to create an environment
rlm@103 272 where people could thrive. He is certainly the reason that I was
rlm@103 273 seduced into working on AI. Minsky has vast and deep Scientific
rlm@103 274 knowledge -- he could walk into almost any class: Chemistry,
rlm@126 275 Physics, Math, Computer Science, and teach the class well without
rlm@103 276 preparation!
rlm@103 277
rlm@112 278 - http://web.media.mit.edu/~minsky/ Much of Minsky's work is here,
rlm@111 279 including his book, /The Emotion Machine/, and several essays and
rlm@111 280 papers. Check it out!
rlm@103 281
rlm@111 282 - [[http://aurellem.org/society-of-mind/][Society of Mind]] Read it online! Each chapter of this book is a
rlm@126 283 short, self-contained essay about some aspect of intelligence or
rlm@126 284 development.
rlm@103 285
rlm@112 286 - [[https://web.media.mit.edu/~minsky/papers/MusicMindMeaning.html][Music, Mind, and Meaning]] Minsky is one of a few living people who
rlm@112 287 can /improvise/ complicated Baroque era fugues. You can hear one
rlm@112 288 of these improvisations [[http://aurellem.org/mmm/][here]].
rlm@103 289
rlm@103 290 - [[http://web.media.mit.edu/~minsky/papers/steps.html][Steps towards Artificial Intelligence]] Here, Minsky outlines how we
rlm@103 291 might begin to build an AI. This is considered to be one of the
rlm@103 292 founding papers of the field, along with Turing's "Computing
rlm@103 293 Machinery and Intelligence" [[http://www.loebner.net/Prizef/TuringArticle.html][paper]].
rlm@103 294
rlm@103 295 - Perceptrons, by Marvin Minsky
rlm@103 296 - [[http://mitpress.mit.edu/books/perceptrons][MIT Press]], ISBN: 9780262631112
rlm@103 297 - Really good for "Math types."
rlm@103 298 - Uses geometry for proving things.
rlm@122 299 - People unwisely considered it to kill off Neural Nets; In fact,
rlm@103 300 it only shows the limitations of certain simple kinds of Neural
rlm@103 301 Nets.
rlm@104 302
rlm@123 303 * For Fun
rlm@123 304 - [[http://prce.hu/w/TAAP.html][Time's Arrow and Archimedes' Point]], by Huw Price
rlm@123 305 - ISBN: 0195117980
rlm@123 306 - A reasonable philosopher!
rlm@104 307
rlm@123 308 - [[http://www.phys.ufl.edu/~cmw/wer.html][Was Einstein Right? : Putting General Relativity To The Test]], by
rlm@123 309 Clifford M. Will
rlm@123 310 - ISBN: 0465090869
rlm@104 311
rlm@123 312 - [[http://en.wikipedia.org/wiki/Stranger_in_a_Strange_Land][Stranger in a Strange Land]], by Robert A. Heinlein
rlm@123 313 - ISBN: 0441790348
rlm@104 314
rlm@123 315 - [[http://www.gutenberg.org/ebooks/729][Hackers, Heroes of the Computer Revolution]], by Steven Levy
rlm@123 316 - ISBN: 1449388396
rlm@123 317 - Accuracy is not too good - people's names are spelled wrong, for
rlm@123 318 example.
rlm@123 319 - But the /feelings/ are exactly right! This book really captures
rlm@123 320 what it was like to be in the AI lab back in the good old days.
rlm@126 321
rlm@120 322 * Selected works by Sussman
rlm@120 323
rlm@122 324 - [[http://groups.csail.mit.edu/mac/users/gjs/6946/sicm-html/book.html][SICM (Structure and Interpretation of Classical Mechanics)]] This is
rlm@120 325 the textbook of [[http://groups.csail.mit.edu/mac/users/gjs/6946/][6.946]], a class in Classical Mechanics that Sussman
rlm@120 326 generally teaches in the Fall.
rlm@120 327 - ISBN: 9780262194556
rlm@120 328 - [[http://mitpress.mit.edu/books/structure-and-interpretation-classical-mechanics][MIT Press]]
rlm@120 329
rlm@120 330 - [[http://mitpress.mit.edu/sicp/][SICP (Structure and Interpretation of Computer Programs)]] This is
rlm@120 331 the textbook of the (no longer offered) [[http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/][6.001]] introductory
rlm@120 332 Computer Science class at MIT. It's a classic!
rlm@120 333 - ISBN: 0-262-01077-1
rlm@120 334
rlm@120 335 - [[http://www.schemers.org/Documents/Standards/R5RS/HTML/][R5RS (Revised^5 Report on the Algorithmic Language Scheme)]]
rlm@120 336 Spec. for the [[http://en.wikipedia.org/wiki/Scheme_%28programming_language%29][scheme]] computer language. Sussman is very proud of
rlm@122 337 the short length of this document compared to the specifications
rlm@120 338 for most other computer languages. It's based on the [[http://www.masswerk.at/algol60/report.htm][Revised
rlm@120 339 Report on the Revised Report on the Algorithmic Language Algol 60]]
rlm@120 340
rlm@120 341 - [[http://groups.csail.mit.edu/mac/users/gjs/6946/calculus-indexed.pdf][Functional Differential Geometry]] Treatment of functional
rlm@120 342 differential geometry in the classic SIC[M/P] style.
rlm@120 343
rlm@115 344