1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/org/goodlit.org	Tue Jun 03 13:24:58 2014 -0400
     1.3 @@ -0,0 +1,114 @@
     1.4 +#+TITLE: Good readables
     1.5 +#+AUTHOR: Dylan Holmes
     1.6 +#+EMAIL:     rlm@mit.edu
     1.7 +#+SETUPFILE: ../../aurellem/org/setup.org
     1.8 +#+INCLUDE:   ../../aurellem/org/level-0.org
     1.9 +#+MATHJAX: align:"left" mathml:t path:"http://www.aurellem.org/MathJax/MathJax.js"
    1.10 +#+
    1.11 +
    1.12 +* Non-narrative books
    1.13 +| Title                                                          | Author                | About                                                                                                                                                                                     |
    1.14 +|----------------------------------------------------------------+-----------------------+-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
    1.15 +| Formal Theories of the Commonsense World                       | Hobbs \amp{} Moore    | Essays about the rules of intuitive physics---how we naturally reason about the physical world before we learn about (for example) molecules, inverse square laws, and quantum mechanics. |
    1.16 +| Vision                                                         | Marr                  | Describes successes in computer vision, and outlines effective policies for thinking about and researching intelligence.                                                                  |
    1.17 +| The Structure and Interpretation of Classical Mechanics (SICM) | Sussman \amp{} Wisdom | This book uses programming as a tool for analysing otherwise-intractable physical systems, and as a medium for explicit, unambiguous expression of ideas\mdash{}as an alternative to mathematical notation, the meanings of which often depend on implicit conventions.  |
    1.18 +| The Computer Revolution in Philosophy                          | Sloman                | Elucidates the essential role of philosophy in science, and the newfound revolutionary role of computers and computational language in philosophy (especially in philosophy of mind).     |
    1.19 +| Freedom Evolves                                                | Dennett               | An eminently readable book on how free will can develop within a deterministic universe in general, and in mechanistic robots in particular.                                              |
    1.20 +| Philosophical Investigations                                   | Wittgenstein          | A seminal, if disconnected, philosophical treatise which describes how meanings of sentences arise through learned, lazily-evaluated \ldquo{}choreographies\rdquo{}.             |
    1.21 +| The Emotion Machine                                            | Minsky                | A wonderful compendium of ideas about the construction of intelligence, presented in clever, non-technical language.                                                                      |
    1.22 +| The Myth of Mental Illness                                     | Szasz                 | A thought-provoking look at mental illness/treatment as a form of social control.                                                                                                         |
    1.23 +| BUGS in Writing                                                | Dupre                 | A whimsical and erudite handbook for writing clearly, with an emphasis on writing for science/technology.                                                                                 |
    1.24 +| The Visual Display of Quantitative Information                 | Tufte                 | A learned tour of good practices for organizing information and  communicating large amounts of it with minimal clutter.                                                                  |
    1.25 +| The Algebra of Programming                                     | Odgen \amp{} de Moor  | An abstract but deep textbook which describes how programs can be described, combined, optimized, and analyzed using a new kind of algebra.                                               |
    1.26 +| Probability Theory: The logic of science                       | Jaynes                | A heterodoxical textbook which presents probability theory as a kind of logical inference.                                                                                                |
    1.27 +| Category Theory                                                | Awodey                | Friendly and thorough introduction to the ideas of category theory \mdash{} less imposing than (but a good companion to) MacLane's /Categories for the Working Mathematician/.            |
    1.28 +| Algebra: Chapter 0                                             | Aluffi                | Friendly and thorough introduction to the ideas of abstract algebra\mdash{} less imposing than MacLane \amp{} Birkhoff's /Algebra/.                                                       |
    1.29 +| Principles of Quantum Mechanics                                | Shankar               | A careful, solid introduction to quantum mechanics. Less chatty than Griffith's /Introduction to Quantum Mechanics/.                                                                |
    1.30 +  
    1.31 +  
    1.32 +* COMMENT Articles, etc.
    1.33 +
    1.34 +| Title                                 | Author   | About                                                                                                            |
    1.35 +|---------------------------------------+----------+------------------------------------------------------------------------------------------------------------------|
    1.36 +| A Computer Model of Skill Acquisition | Sussman  | Sussman explores learning how to do things as the process of developing and debugging programs to do them. He finds that this paradigm is an effective way to think about learning; for example, with each lesson, his program learns something new. He incidentally also concludes that automatic program-writers are impracticible, because ideas are often developed in a /cycle/ of suggesting/coding/debugging. |
    1.37 +| A Universal Banach Space              | Leinster | Very brief, but neat: integration is a \ldquo{}universal object\rdquo{} (in the terminology of Category Theory.) |
    1.38 +|                                       |          |                                                                                                                  |
    1.39 +
    1.40 +
    1.41 +* Narratives
    1.42 +| Title                                | Author              | About                                                                                                                                                                                                                                                                                            |
    1.43 +|--------------------------------------+---------------------+--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
    1.44 +| The Adventures of Sherlock Holmes    | Doyle, Arthur Conan | An austere and brilliant detective who possesses razor-sharp skills in observation, analysis of character, and collecting mundane facts. I particularly like the Sherlock Holmes novels because Holmes's talents are apparently attainable through practice.  |
    1.45 +| The Lives of Christopher Chant       | Jones, Diana Wynne  | An excellent story, with wonderously fun magic and enjoyable characters. Part of the /Chrestomanci/ series.                                                                                                                                                                                      |
    1.46 +| The Hitchhiker's Guide to the Galaxy | Adams, Douglas      | A subtly hilarous existentialist novel about how bureaucratic incompetence leads to the destruction of planet Earth, and about the lone unfortunate British man who survives.                                                                                                                    |
    1.47 +| Matter                               | Banks, Iain         | An epic science fiction novel. As with all novels in the /Culture/ series, /Matter/ is remarkable for the following: (1) Tangibly portraying the vastness of space and the incomprehensibility of advanced intelligence, (2) Artful diction, (3) Fearless use of unorthodox narrative structure. |
    1.48 +| The Magicians                        | Grossman, Lev       | An approximate analogy: \ldquo{}The Magicians\rdquo{} is to \ldquo{}Narnia\rdquo{} as \ldquo{}Wicked\rdquo{} is to \ldquo{}Oz\rdquo{}.  A gritty realistic book about a perennially morose overachiever and his adventures in relentlessly unsentimental places.                                 |
    1.49 +
    1.50 +# Aaron Sloman
    1.51 +# Dennet's humor book
    1.52 +# Hofstadter's I Am a Strange Loop
    1.53 +
    1.54 +# Woolf's The Waves
    1.55 +
    1.56 +
    1.57 +
    1.58 +
    1.59 +# * Books Relating to Artificial Intelligence
    1.60 +
    1.61 +# ** The Emotion Machine, by Marvin Minsky
    1.62 +# ** Formal Theories of the Commmonsense World, by Hobbs and Moore
    1.63 +# ([[http://books.google.com/books/about/Formal_Theories_of_the_Commonsense_World.html?id=aUO2PCw-vdgC][link to Formal Theories]])
    1.64 +
    1.65 +# ** Vision, by David Marr
    1.66 +
    1.67 +# ** Philosophical Investigations, by Ludwig Wittgenstein
    1.68 +
    1.69 +# ** Probability Theory: The Logic of Science, by Edwin Jaynes
    1.70 +
    1.71 +# ** The Algebra of Programming, by Odgen and de Moor
    1.72 +
    1.73 +
    1.74 +# * Other Exemplary Books
    1.75 +
    1.76 +# ** Real and Complex Analysis, by Walter Rudin
    1.77 +# This book is a model of terseness in exposition --- it's theoretically
    1.78 +# elegant, though pedagogically impenetrable.
    1.79 +
    1.80 +# ** Category Theory, by Steve Awodey
    1.81 +# This book is a friendly and exciting introduction to category theory.
    1.82 +
    1.83 +# ** Principles of Quantum Mechanics, by Ramamurti Shankar
    1.84 +# Rigorous yet engaging.
    1.85 +
    1.86 +# ** Algebra: Chapter 0, by Aluffi
    1.87 +
    1.88 +# ** BUGS in Writing, by Lynn Dupr\eacute{}
    1.89 +
    1.90 +# ** The Visual Display of Quantitative Information, by Edward Tufte
    1.91 +
    1.92 +# # Piaget
    1.93 +# # Hans Freudenthal
    1.94 +# ** How to Solve It, by Polya
    1.95 +
    1.96 +   
    1.97 +# #* Interesting Papers
    1.98 +
    1.99 +# #** A Universal Banach Space, by Tom Leinster
   1.100 +# A short paper in which the set of Lebesgue-measureable functions on
   1.101 +# [0,1] emerges as the initial object in a category of  Banach
   1.102 +# spaces, and in which integration is a catamorphism. 
   1.103 +
   1.104 +# #** The Eudoxus Real numbers, by R. Arthan
   1.105 +# This paper constructs the real numbers in terms of
   1.106 +# proportionalities.
   1.107 +
   1.108 +
   1.109 +# http://arxiv.org/abs/math/0405454
   1.110 +
   1.111 +# #** Tolerance Space Theory and Some Applications, by Sossinsky
   1.112 +
   1.113 +# #Tolerance spaces
   1.114 +# #The Eudoxus real numbers
   1.115 +
   1.116 +
   1.117 +# # AARON SLOMAN