[FOM] Fwd: for FOM

[Martin Davis]

---------- Forwarded message ---------
From: Wood, Carol <cwood at wesleyan.edu>
Date: Mon, Aug 5, 2019 at 3:31 PM
Subject: for FOM
To: martin at eipye.com <martin at eipye.com>

http://www.msri.org/general_events/24293

 Symposium in Honor of Julia Robinson’s 100th Birthday December 09, 2019 All
Day

Description

A Symposium on the occasion of Julia Robinson’s 100th birthday will be held
on Monday December 9, 2019 at MSRI. Julia Robinson (1919-1985) was a
leading mathematical logician of the twentieth century, and notably a first
in many ways, including the first woman president of the American
Mathematical Society and the first woman mathematician elected to
membership in the National Academy of Sciences. Her most famous work,
alongside others including Martin Davis and Hilary Putnam, led to Yuri
Matijasevich's solution in the negative of Hilbert’s Tenth Problem, showing
that  there is no general algorithmic solution for  Diophantine equations.
She contributed in other topics as well. Her 1948 thesis  linked the
undecidability of the field of rational numbers to Godel’s proof of
undecidability of the ring of integers.  Confirmed participants in this
day-long celebration of her work and of current mathematics insprired by
her research include: Lenore Blum, who will give a public lecture, Lou van
den Dries, Martin Davis, Kirsten Eisentrager, and (provisionally yes) Yuri
Matijasevich.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20190805/ad7db740/attachment.html>