Edit 1: Kudos to "gjm" (see above) for pointing to Spivak's page on Amazon!
Edit 2: Spivak's Hogwarts proof implicitly uses a fundamental theorem in differential geometry that is called Cartan's Magic Formula ... this oblique magical reference is Spivak's joke ... as with many magical formulas, the origins of Cartan's formula are obscure.
Regrettably, tgb, even the redoubtable Google Books does not provide page-images for Spivak's Physics for Mathematicians: Mechanics I. The best advice I can give is to seek this book within a university library system.
This is a new thread to discuss Eliezer Yudkowsky’s Harry Potter and the Methods of Rationality and anything related to it. This thread is intended for discussing chapters 91 & 92 . The previous thread has passed 500 comments.
There is now a site dedicated to the story at hpmor.com, which is now the place to go to find the authors notes and all sorts of other goodies. AdeleneDawner has kept an archive of Author’s Notes. (This goes up to the notes for chapter 76, and is now not updating. The authors notes from chapter 77 onwards are on hpmor.com.)
The first 5 discussion threads are on the main page under the harry_potter tag. Threads 6 and on (including this one) are in the discussion section using its separate tag system. Also: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17,18,19,20.
Spoiler Warning: this thread is full of spoilers. With few exceptions, spoilers for MOR and canon are fair game to post, without warning or rot13. More specifically: