![[The University of Leicester]](unilogo.gif)
Legacy of Goodstein
Mathematical Logic Day 15th December 2012
In recognition of the work of Reuben Louis Goodstein, 15th December 1912 - 28th March 1985
In honour of Reuben Louis Goodstein we are organizing a day recognizing his impact on the development of Mathematical Logic, worldwide, in the UK and at Leicester.
Speakers
The following speakers have provisionally agreed to talk: Harvey Rose, Jan van Plato, Stan Wainer, Mathieu Marion, Mike Price, Mary Walmsley.
Talks
We hope to have talks on:
- Goodstein's theorem in the light of the Bernays-Goodstein correspondence
- Goodstein sequences and independence of Peano arithmetic
- Goodstein and Wittgenstein
- Goodstein and the Mathematics Association
- We are also hoping to have a panel discussion entitled 'Goodstein Remembered', where any delegate can share memories and thoughts of Goodstein.
Share your recollections of Goodstein
Before the event, we are interested in collecting any recollections people have of Louis Goodstein, and would be happy for people to submit these to the blog
| Main Organizers: |
Local Committee at Leicester: |
|---|---|
| Barry Cooper, Leeds University |
Jeremy Levesley, Head of Mathematics Department |
| Paul Williams, London School of Economics |
Rick Thomas, Chair of College Academic Committee |
