Legacy of Goodstein
His Centennial and the Wittgenstein Connection
In recognition of the work of Reuben Louis Goodstein,
15th December 1912 - 28th March 1985.
In December 2012, in honour of Reuben Louis Goodstein, a day was organised recognising his impact on the development of Mathematical Logic, worldwide, in the UK and at Leicester.
Speakers
Harvey Rose, Jan von Plato, Stan Wainer, Mathieu Marion, Mike Price, Mary Walmsley, Mitsuhoro Okada were amongst the speakers.
Talks included:
| Goodstein's theorem in the light of the Bernays-Goodstein correspondence - Jan von Plato |
| Goodstein and Wittgenstein - Mathieu Marion / Mitsuhiro Okada |
| Reuben Louis Goodstein and the Mathematical Association: An Historic Tribute - Mike Price / Mary Walmsley |
|
Goodstein Sequences and Arithmetical Independence Results - Stan Wainer |
Dinner rounded off an informative day celebrating Goldstein and his work.
This meeting is supported by the London Mathematical Society and the British Logic Colloquium.
| Main Organisers: |
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 |
