categories - Category Theory list
 help / color / mirror / Atom feed
From: Robert Seely <rags@math.mcgill.ca>
To: Categories List <categories@mta.ca>, Dana Scott <dana.scott@cs.cmu.edu>
Subject: Re: Dangerous knowledge
Date: Tue, 1 Dec 2009 11:43:34 -0500 (EST)	[thread overview]
Message-ID: <E1NFdYe-0002UA-RQ@mailserv.mta.ca> (raw)
In-Reply-To: <E1NFFUR-0002zL-JR@mailserv.mta.ca>

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.

-= rags =-


On Mon, 30 Nov 2009, Dana Scott wrote:

> I think the premise of the work is silly.  I knew Gödel 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ödel
> 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/ ]


  parent reply	other threads:[~2009-12-01 16:43 UTC|newest]

Thread overview: 43+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-11-29 23:31 Joyal, André
2009-11-30 16:51 ` Mike Stay
2009-11-30 23:37   ` Dana Scott
     [not found]     ` <B3C24EA955FF0C4EA14658997CD3E25E2159B5F8@CAHIER.gst.uqam.ca>
2009-12-02  4:03       ` Dangerous times Joyal, André
2009-12-01  1:40   ` Dangerous knowledge Alex Hoffnung
2009-12-01 14:26     ` jim stasheff
2009-12-01 14:30     ` Ronnie Brown
2009-12-01  2:32   ` jim stasheff
2009-12-01 15:13   ` Alex Hoffnung
2009-12-01 16:43   ` Robert Seely [this message]
2009-12-02  2:25     ` RE : categories: " Joyal, André
2009-12-02 17:27     ` Ronnie Brown
2009-12-01  3:59 ` Dangerous ignorance Joyal, André
2009-12-01 13:56 ` Dangerous knowledge Charles Wells
2009-12-02  2:16 ` John Baez
2009-12-06 18:46   ` Vaughan Pratt
2009-12-07  2:46     ` Joyal, André
2009-12-07 13:46     ` jim stasheff
2009-12-08 19:15       ` Vaughan Pratt
2009-12-07 14:13     ` A well kept secret Joyal, André
2009-12-08 17:31       ` Steve Vickers
2009-12-09 14:18         ` Charles Wells
2009-12-10 14:49       ` Paul Taylor
2009-12-11  1:44         ` Michael Barr
2009-12-12  0:13           ` jim stasheff
2009-12-13  3:17             ` Wojtowicz, Ralph
2009-12-13  7:01           ` Vaughan Pratt
2009-12-11  1:46         ` Tom Leinster
2009-12-11  6:51         ` Michael Fourman
2009-12-11  8:36         ` Greg Meredith
2009-12-12 19:00         ` Zinovy Diskin
     [not found]       ` <e3ef1bd7ee7e9e1e1ecdb201955e18f6@PaulTaylor.EU>
2009-12-10 15:51         ` RE : " Joyal, André
2009-12-13  3:30       ` Zinovy Diskin
2009-12-07 17:18     ` Dangerous knowledge Steve Vickers
2009-12-08  4:09   ` A well kept secret David Spivak
2009-12-12 15:57     ` jim stasheff
2009-12-08  5:23   ` Robert Seely
2009-12-09 16:12     ` Mehrnoosh Sadrzadeh
     [not found]   ` <7b998a320912090812x60551840r641fe9feb75efaee@mail.gmail.com>
2009-12-09 17:02     ` Robert Seely
2009-12-10 18:03   ` Dangerous_knowledge Joyal, André
2009-12-01  0:29 Dangerous knowledge Mike Stay
2009-12-03 14:58 jim stasheff
2009-12-03 23:56 ` Eduardo J. Dubuc

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1NFdYe-0002UA-RQ@mailserv.mta.ca \
    --to=rags@math.mcgill.ca \
    --cc=categories@mta.ca \
    --cc=dana.scott@cs.cmu.edu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).