From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5315 Path: news.gmane.org!not-for-mail From: Robert Seely Newsgroups: gmane.science.mathematics.categories Subject: Re: Dangerous knowledge Date: Tue, 1 Dec 2009 11:43:34 -0500 (EST) Message-ID: References: Reply-To: Robert Seely NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1259717974 31189 80.91.229.12 (2 Dec 2009 01:39:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 2 Dec 2009 01:39:34 +0000 (UTC) To: Categories List , Dana Scott Original-X-From: categories@mta.ca Wed Dec 02 02:39:27 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1NFeBj-0003rE-9c for gsmc-categories@m.gmane.org; Wed, 02 Dec 2009 02:39:27 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NFdYe-0002UA-RQ for categories-list@mta.ca; Tue, 01 Dec 2009 20:59:04 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5315 Archived-At: Actually, I think Dana understates the problem with this program. It suffers from what I call the "PBS documentary syndrome" (equally afflicting the BBC, however, so the name is not universal enough!): it repeatedly tells you what's cool about its topic, without ever actually telling you what the topic really is. Afraid to scare viewers away with the actual details of the topic, it just talks about it in terms so general (and often over-inflated or sensationalized, which was Dana's point) they are really quite meaningless. Though not perfect by any means, I think a recent 4-part series "The Story of Maths" narrated by Marcus du Sautoy does better - he even tries to sketch some proofs. (The episode closest to "Dangerous Knowledge" would be the fourth.) Even better is an old series (but still to be found on Youtube!) called Mathematical Mystery Tour. But generally, science documentaries are disappointing, and maths ones even more so. It's a pity, because you actually can get an audience of non-specialists to understand (at least a little) what mathematical results etc are about. I teach an honours Liberal Arts maths & logic class, and a surprisingly large percentage can actually appreciate the beauty of (eg) natural deduction proofs in predicate logic, basic theory of natural numbers (infinitude of primes, irrationality of primes, the fundamental theorem of arithmetic, ... ), simple axiomatics (we do Boolean algebras as an example), and even Godel's theorems, and the "Lambek calculus" for linguistics (even a bit of category theory there!). This isn't a mickey mouse course (sample class tests available on request!), and it's a challenge to many of the students. The point is: they are willing to make the effort if they know you're not being condescending, and that you are giving them "the real thing", not some pablum that only looks good in the box. I wish more TV documentary producers took that attitude - they might get a slightly smaller audience, but their audience will appreciate their efforts more. -=3D rags =3D- On Mon, 30 Nov 2009, Dana Scott wrote: > I think the premise of the work is silly. I knew G=F6del personally > and many people who knew him. My long-time friend Robin Gandy was > a close friend and associate of Turing. I think it is true that > Godel was very frustrated by not being able to settle the status of > the Continuum Hypothesis, but to say that his mathematics drove him > mad is terrible pop psychology. In the case of Turing, the matter > is even less clear. For him, persecution may have been a big factor > in his suicide -- which also could have been an accident. G=F6del > did suffer from paranoia, and Cantor was oppressed by religious > questions, which he did relate to his theories of the infinite. > But to conclude cause and effect seems pretty hard to prove. > And what is the point? > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]