[Club2] Talk by Jeremy Avigad, July 17, 14:00, Turing
Andrei Popescu
uuomul at yahoo.com
Fri Jun 21 00:56:04 CEST 2013
This time, I looked 10 times at the date and time to avoid a mistake, but I managed to misspell
the name in the subject. Of course our visitor's name is Jeremy Avigad.
Andrei
________________________________
From: Andrei Popescu <uuomul at yahoo.com>
To: club2 <club2 at mailbroy.informatik.tu-muenchen.de>
Sent: Friday, June 21, 2013 12:52 AM
Subject: Talk by Jeremy Avidad, July 17, 14:00, Turing
Dear All,
In mid-July, Jeremy Avigad will be visiting us and will be giving a talk on the origins
of higher-order reasoning in classic mathematics.
Best regards,
Andrei
Dirichlet's theorem and the evolution of higher-order reasoning in mathematics
Jeremy Avigad
Departments of Philosophy and Mathematical Sciences
Carnegie Mellon University
====================================================
Wed. July 17, 14:00, Alan Turing
In 1837, Peter Gustav Lejeune Dirichlet proved that there are infinitely many
primes in any arithmetic progression in which the terms do not all have a common
factor. This beautiful and important result was seminal in the use of analytic
methods in number theory.
Contemporary presentations of Dirichlet's proof are manifestly higher-order. To
prove the theorem for an arithmetic progression with common difference k, one
considers the set of "Dirichlet characters modulo k," which are certain types of
functions from the integers to the complex numbers. One defines the "Dirichlet
L-series" L(s, chi), where s is a complex number and chi is a character modulo
k. One then sums certain expressions involving the L-series over the set of
characters.
This way of thinking about characters, which involves treating functions as
objects just like the natural numbers, was not available in the middle of the
nineteenth century. Subsequent presentations of Dirichlet's theorem from
Dedekind to Landau show a gradual evolution towards the contemporary viewpoint,
shedding light on the development of modern mathematical method.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20130620/ec2a3925/attachment-0001.html>
More information about the Club2
mailing list