Some inspirational videos to close out the year

2007 has been a depressing year, and I don't think that it's just me. I've pretty much given up on watching TV news or reading newspapers. Doing so just adds to the malaise. And because of the writers' strike, the one remaining palatable news source has been unavailable. (Now if I could only wean myself from the Web, I might start feeling better...but that's a topic for another post.) So to close out the year, here are a couple of items that have managed to cheer me up and inspire me, in the form of Internet videos.

First up is TED. TED is an acronym for Technology, Entertainment, Design, and at its core it is an annual conference where the movers and shakers of the intellectual world gather to make short (15-20 minute) presentations on what is challenging and inspiring them. The best of these presentations have been made available as streaming video on the TED website. There is a truly eclectic assortment of topics, so there's bound to be something of interest for everyone. The TED staff maintains a blog where you can find out about the latest talks to go online. A while back they posted a list of all the talks that are available, which makes a handy reference point even though it's a couple of months out of date now.

Here's a quick sampling of some TED talks: Neuroscientist V.S. Ramachandran describes how we can learn about how the brain works by looking at how it fails to work normally in patients with neurological disorders. Ramachandran is a great lecturer and I was blown away by this talk. Biology student Eva Vertes talks about her ideas for finding a cure for cancer. Watch this not so much for the specific ideas presented but just to be reminded of the promise of youth. (Hat tips to Mo and Bora, respectively, for these two talks.) A couple of my own picks: Computer scientist and entrepreneur Jeff Hawkins talks about modeling the human brain on a computer. This talk is basically an executive summary of his book, On Intelligence. In the time constraints of the talk, Hawkins comes across as less than convincing, although in his book he develops a much stronger case for his ideas. Finally, for the math-ed crowd, be sure to check out "mathemagician" Arthur Benjamin, who puts on an amazing display of rapid-fire mental arithmetic. It's interesting to look at the comments for that presentation--some of the viewers seemed to think that Benjamin must have had a secret radio receiver in his ear with an accomplice sending him the answers! Michael Shermer joins in the comments to point out that he and Benjamin co-authored a book on how he performs his mental feats.

The second item for your consideration is the Last Lecture by Carnegie-Mellon computer scientist Randy Pausch. Pausch is suffering from incurable pancreatic cancer, and in his recorded farewell lecture at CMU, he recapped his career and his perspective on life so that his now-young children would one day be able to know a little more about him. This talk has become something of an Internet sensation after being reported about on network news and in other media. The "last lecture" is also going to be developed into a book, with the assistance of Wall Street Journal writer Jeff Zaslow. (Hat tip to my mom for this one--as I mentioned, I don't follow the main-stream media much any more.)

Pausch described his lecture as being for his children, and I think he's absolutely right about that. The lecture will be extremely meaningful for his kids as well as for other family and friends. But for outsiders, I'm not sure I understand the appeal. I mean, Randy Pausch is an extremely positive person, and there is no doubt that his attitude played an important part in helping him achieve his goals in life. But this is a lesson that pretty much everyone already understands. The problem is that for someone who feels beaten down by life, telling him or her to be more positive simply isn't going to help. It's just not inspirational to someone who's not already on the program.

So why am I including this video here? Well, one of the accomplishments that Pausch mentions in his lecture is a programming language named Alice. Pausch's research areas included human-computer interfaces (HCI) and virtual reality, and he was also interested in attracting kids, especially girls, to computer science. These combined interests gave birth to Alice, which is a programming platform designed to be easy to learn, and which uses story-telling as its central paradigm, instead of a more abstract treatment of algorithms. This is supposed to work as a hook to draw girls into programming, and it seems to have been very successful at Carnegie-Mellon. My daughter has taken an interest in learning Alice, and I'll be keeping an eye on how things progress. You can find a demo video of Alice on this page. I would recommend skipping the promo video at the top of that page, and scrolling down to the demo at the bottom.

**********************************

So that's it for another year. I hope that you survived 2007, and here's looking forward to a better year in 2008.

Boys will be boys will be sociopaths

A recurring theme on computer science blogs is what might be done to encourage more women to enter (or remain in) the field, and to promote more diversity in general. For example, a recent post at On being a scientist and a woman talks about why women leave the academic career path (this is for science generally, but I'm sure it applies equally well to comp sci). As difficult as the academic world may be, however, it appears that things can be much worse for women working on the 'nuts and bolts' side of the aisle. Blogger and author Kathy Sierra writes about how email and blog sexual harassment and death threats have caused her to cancel a public appearance and step back from blogging. (Warning, that linked post contains material that is not appropriate for kids.) There are by now hundreds of posts by others providing commentary on this; some background information on the people involved is given by Doc Searls.

One weird thing about the whole situation is that the harassment grew out of a couple of websites set up by peers of Kathy Sierra, specifically for the purpose of being critical of, and generally nasty about, other technology authors. (The actual death threats appear to be from an interloper who hacked the identity of one of the participants.) Death threats and misogyny aside, why does the internet seem to spawn such general nastiness? Okay, that's a naive question. More to the point, does the anything-goes atmosphere encourage misogyny and racism and other bad stuff, or is that something totally apart from general snarkiness found on the internet? For example, on a site like ScienceBlogs, more than a bit of gratuitous obscenity and sarcasm can be found mixed in with the science and analysis, but it is a very progressive site where any hint of sexism or racism is liable to get smacked down hard.

Still, sexism does seem to be a particular problem within the tech community. Robert Scoble writes in response to Kathy Sierra's problems,

It’s this culture of attacking women that has especially got to stop. I really don’t care if you attack me. I take those attacks in stride. But, whenever I post a video of a female technologist there invariably are snide remarks about body parts and other things that simply wouldn’t happen if the interviewee were a man.

It makes me realize just how ascerbic this industry and culture are toward women. This just makes me ill.

Update

Well, the response on the blogosphere to Kathy Sierra's post has been, as you might imagine, enormous. I get the impression that Sierra would, with the benefit of hindsight, have responded to the threats a bit differently. However, some good might come out of all the brouhaha. Publisher Tim O'Reilly is calling for a blogger code of conduct that would help maintain a certain level of civility in web discussions. I think that could be a tough sell, but just raising people's consciousness about the problem may help.

It looks like Kathy Sierra and one of the other involved bloggers, Chris Locke, will be on CNN Monday morning. Should be an interesting segment a couple of minutes of soundbites with little content.

The slow, inevitable decay unto death

(2/18/07 - A little update has been added at the bottom...)

A few weeks ago there was a bit of a buzz amongst bloggers concerning this story by the BBC. It was reported that Dr. James Anderson, a computer science instructor at the University of Reading (UK), had constructed a technique for handling division-by-zero by inventing a new 'number' which he named nullity. Dr. Anderson claims that this is a revolutionary approach which will solve age-old problems faced by mathematicians and computer scientists.

Unfortunately, this idea is neither really new, nor does it solve any problem that wasn't already well understood. The BBC web page for the above story allows for reader comments, and Dr. Anderson was roundly hammered with over 1,000 comments, most of which were critical. For some nice discussions of why Dr. Anderson's idea are nonsense, you can see the critiques by Mark C. Chu-Carroll at Good Math, Bad Math and by Jason Rosenhouse at EvolutionBlog. Jason also has a nice follow-up post where he discusses the algebraic foundations behind division-by-zero and why it can't be explained away by inventing a new number.

Dr. Anderson isn't backing down, however. The BBC web page contains some follow-up links at which Dr. Anderson attempts to respond to the criticism. It also contains a link to Dr. Anderson's personal website, oddly named the Book of Paragon. At this website we find that the concept of nullity arose out of Dr. Anderson's work on his perspex machine, which he describes as follows:

The perspex can be understood in many ways. Mathematically, the perspex is a particular kind of matrix; concretely, it is simultaneously a physical shape, a physical motion, an artificial neuron, and an instruction for a machine that is more powerful than the Turing machine. In other words, a perspex is an instruction for a perspex machine that is more powerful than any theoretically possible digital computer.

A perusal of the web site finds that the rest of the content is painfully similar to this. In other words, Dr. Anderson is apparently a full-fledged crank. While this is certainly not uncommon to find on the internet, it is (I would hope) rare to find someone like this currently employed in an academic position.

When I see a story like this, it makes me wonder what I would do if I ever stumbled onto a proof that P ≠ NP. I'm not sure if I would be able to bring myself to publicize it. After all, such a proof would almost certainly fall in the "not even wrong" category, as attested to by all the foolhardy attempts at proofs listed on G.J. Woeginger's P-versus-NP page. In fact, it would probably be a sign that I needed to do some serious sanity-checking.

I mention all of this as a backdrop to main subject of this post. Dr. Anderson was an unknown in the world of theoretical computer science, and by now he has pretty much returned to that status. But what if the person in question was one of the luminaries of computer science, someone who had among his or her accolades been a recipient of the A.M. Turing Award?

When I received the January issue of the Communications of the ACM last month, I quickly skimmed through the contents to see if there were any theory-related articles (often there aren't), and was happy to see the Turing Lecture: Computing Versus Human Thinking by Peter Naur. Some background on Peter Naur can be found in the Turing Award press release, in this Wikipedia article, and on his web site.

Now, comparing computing and human thought is one of those tar pits that tends to reduce weaker souls to babbling inanities. But this was a Turing lecture, a chance for one of the masters to reflect on their life's work, so I eagerly started reading. (Unfortunately, this article appears to be available online only to ACM members. The article on the Naur web site, A Synapse-State Theory of Mental Life, looks like an earlier exposition of some of the same ideas.)

It doesn't take long before there are some oddly paranoid undertones in the article. In the introduction, describing how he has come to disagree with Turing's view of the human mind in terms of computation, Naur states:

Indeed, I have found that a large part of what is currently said about human thinking and about scientific and scholarly activity is false and harmful to our understanding. I realize that my presentation of some of these issues may be offensive to you. This I regret, but it cannot be avoided.

After describing his early work with compiler design and program development, he talks about how he turned his attention to human thinking:

In this context I had occasion to examine a number of newly published works on such topics as machine or artificial intelligence and cognitive science, by contributing reviews of works on such topics to the Computing Reviews [28-1985, 29-1985, 32-1988, 33-1989, 38-1993].

Through this reviewing activity I found confirmed time after time that present-day authors argue about mental life from totally defect, confused cognitivist notions, in terms such as ‘consciousness’, ‘knowledge’, ‘language’, ‘intelligence’, ‘concept’, that denote nothing clearly, and moreover that William James’s insight into human mental life as presented in his Principles of Psychology [5] is unknown. I gradually came to realize that the whole field of psychology, which supposedly is concerned with mental life, during the twentieth century has become entirely misguided into an ideological position such that only discussions that adopt the computer inspired form of description of mental life is accepted, while any other form, including the form developed by William James in his Psychology, is rejected as inadmissible and unpublishable. So as to clarify this extraordinary situation of psychology I engaged from 1986 into a series of studies.

Naur goes on to describe a book and several articles that came out of his research. However, he felt that his ideas were being suppressed, and he mentions an article, a book review, and a letter to the editor that were rejected for publication during the mid-1990s. As a result of the rejected letter to the editor (which was to the Communications of the ACM) he quit the ACM.

Naur next moved on to critiquing the work of philosophers on the subject of the mind:

Through these analyses I establish that what is said by philosophers about human mental life is void of empirical support. The overall conclusion of the work is that philosophy is an ideology of presumption, harmful to science and scholarship, while the descriptions by William James of mental life and by Otto Jespersen of the linguistic activity, although unsurpassed in their insight are unknown to philosophers.

Naur developed this work into a critique of contemporary psychology, apparently coming to the conclusion that little worthwhile has been done since the work of Williams James. He then began to look at the physiology of the nervous system, which led to his current thesis:

The work on the Anatomy [50-2005] gave me the occasion, in November 2003, to look closely at Charles Sherrington’s The Integrative Action of the Nervous System [54]. This immediately told me where in the nervous system one finds the plasticity that James states very clearly must be the neural ground of habits, to wit: in the synapses. And so the way was open to a neurophysiological description of the nervous system, which I have called the Synapse-State Theory [49-2004].

Finally, Naur is at the point in the article where he ready to describe the details of his synapse-state theory of the mind, based on work by William James and Charles Sherrington from the late 1800s and early 1900s. Having come this far, I hope you will not be disappointed if I do not attempt to critique Naur's ideas. (If you're really curious, the gist of the theory can be found in the A Synapse-State Theory of Mental Life article mentioned earlier.) It is not so much a question of being right or wrong so much as being simply irrelevant. His theory looks like something that might have appeared in print 30 years ago, which is not surprising given where his inspiration comes from. There is nothing present in the article to reflect advances made in the neurosciences over the past couple of decades.

Near the conclusion of the article Naur states:

I have tried to have these articles published in journals, so far without any success. The present presentation, when published in the Communications of the ACM, will in fact be the first presentation of the Synapse-State Theory of mental life to appear in a journal.

So I am clearly at the beginning of that twenty year period that it usually takes to have a scientific breakthrough accepted.

I'm not sure exactly what my point is in bringing all of this up, but I can't help finding it depressing. I don't think one should feel sorry for Naur. This article will quickly be forgotten, and Peter Naur will be remembered for the work he did earlier in his career, for which he received the A.M. Turing Award. No, I think the reason this seems so depressing is that it reminds me of my own aging and my gradual decline toward obsolescence and beyond.

Update:

I shouldn't make a habit out of adding updates to the bottom of my posts, but there were a few things I wanted to add. I originally started this post with the intention of critiquing Naur's article, but I quickly realized that would be pointless. The article appears to me, more than anything else, to be a chronicle of a twenty year descent into obsession. There are plenty of cranks on the Internet with half-baked theories about everything imaginable, but when someone who previously had a sharp mind turns into a crank, you can't help wondering if there is something organic at its root. It brings to mind John Nash (although I should emphasize that I'm not suggesting that Naur has any particular type of illness). But if I remember correctly, the Nobel award committee had some concerns about whether Nash would be well enough to receive the prize; I wonder if the ACM had any similar concerns about Naur?

I also have to wonder about the Communications of the ACM and their decision to publish the article. Presumably they felt obligated to publish it, as it was a Turing Lecture. Did anyone try to dissuade Naur from submitting the article as written? Or did they even consider it suspect? The Communications has a history of publishing wacky theory articles, so perhaps it didn't seem so odd to them.

I have to confess to being curious about what other people think about this. I haven't seen it mentioned on any of the theory blogs I read, perhaps out of disinterest or perhaps out of respect for Naur. I've seen the article mentioned in passing on a couple of blogs from the programming side of the aisle, and in those cases the sentiment was something along the lines of, "I'm not sure what to make of his theory, but why is he so angry?"

As for myself, as I mentioned earlier, it all just serves as a reminder of our inevitable mortality. I hope that if my mental faculties decline to the point where I can no longer craft a cogent argument, that I still have enough self-awareness to realize that fact.