sickem

Nov. 29th, 2005 02:21 pm
[personal profile] nibot
10. I was disappointed in Boston to not be able to attend the Monday 11:00-12:00 lecture of MIT's 6.946J (otherwise known as Structure and Interpretation of Classical Mechanics, usually written SICM and apparently pronounced "sick-em"), given by Jack Wisdom and Gerald Sussman—that lecture turned out to coincide exactly with Stefanos's talk, the one bit of the meeting I couldn't miss. (Adrian re-scheduled his flight to leave earlier in the day on Monday and offered to reschedule Stefanos and my flights so that we could leave earlier too; I toyed with the idea of moving my flight three days ahead, to catch the Wednesday lecture...) What are these guys like in person? What is a course like at MIT?

Of course they are luminaries: Sussman was a co-inventor of the language Scheme and author of the canonical computer science textbook; he is a semi-mythological hero of hackers everywhere. Jack Wisdom was unknown to me, but a glance at his website reveals that is my error.

The thrust of 6.946J (SICM), as explained in Sussman and Wisdom's paper The Role of Programming in the Formulation of Ideas (postscript) is essentially that there is enormous pedagogical merit in distilling mathematical physics down to the form of executable code, thus removing all possible ambiguity in notation and allowing a certain hands-on experimentation with the resulting symbolic systems. I couldn't agree more, and, in fact, find their text and approach enormously helpful. To me, equations on a page have very little meaning—they are dead and dried. Going through a derivation from a book is helpful; but then I throw away the page after I have copied it, line by line. But in my mind a well-written computer program is an abstract, living thing. Putting the equations into Lisp code translates from dead math on parchment into a working clockwork that you can experiment upon, probe, and manipulate.

Now I see that Sussman and Wisdom seem to be heading in the direction of Structure and Interpretation of Differential Geometry (see their report, "functional differential geometry," published this year) which pretty much makes me want to just go and set up my hammock in some MIT steam tunnel. [As an added bonus, I would then be able to crash Howard Georgi's lie algebras course.]

Disappointingly I haven't been able to find any professor here who is interested in this, though admittedly I haven't approached many. The most supportive answer I've received has been, "Why don't you just use Mathematica?"
(deleted comment)
(deleted comment)

Date: 2005-11-29 07:57 pm (UTC)
From: [identity profile] nibot.livejournal.com
Knuth likes to quip, "Beware: I have not tested this computer program; I have only proved it correct," a statement that has never sat well with me. A well-written computer program is its own proof of correctness, and it's therefore just as easy to make an error in the program as the proof.

Date: 2005-11-29 07:58 pm (UTC)
From: [identity profile] nibot.livejournal.com
If you read SICM or the shorter paper introducing it, I believe you will find all statements in your comment to be false.
(deleted comment)
(deleted comment)

amusing

Date: 2005-11-29 08:08 pm (UTC)
From: [identity profile] nibot.livejournal.com
The enclosed XSLT transformer will take an arbitrary well-formed XML input document and turn it into an arbitrary (if ugly, but its a quick hack) lisp-style list that can be processed using modern processing tools, such as any scheme implementation after about 1974. Given this initial transformation, all of the current processing tools provided by W3C can be implemented by a better than average undergraduate in roughly one (caffeine assisted) weekend. Proof of this assertion is left as an exercise for the student.

http://www.eros-os.org/pipermail/e-lang/2001-September/005694.html

Date: 2005-11-29 08:18 pm (UTC)
From: [identity profile] aepfelx.livejournal.com
Oh. Hex. And I had somehow expected 36-ary (tricontakaihexal? sexatrigesimal (http://en.wikipedia.org/wiki/Sexatrigesimal), apparently). You disappoint me, Tobin. =(

Date: 2005-11-30 03:39 am (UTC)
From: [identity profile] ragnus.livejournal.com
SICM sounds cool.

Date: 2005-11-30 05:46 pm (UTC)
From: [identity profile] nibot.livejournal.com
The text: http://mitpress.mit.edu/SICM/book-Z-H-4.html

March 2020

S M T W T F S
1234567
891011121314
15 161718192021
22232425262728
293031    

Style Credit

Page generated Sep. 11th, 2025 10:25 am
Powered by Dreamwidth Studios

Expand Cut Tags

No cut tags

Most Popular Tags