5/26: Mike O’Donnell
Due to an unexpected emergency, THIS TALK HAS BEEN CANCELLED. Hopefully, Mike O’Donnell will be able to join us at a later date to give his talk.
“The Sources of Certainty in Computation and Formal Systems”
4:30-6:30 pm, Cobb 102 (campus map)
A copy of the paper may be downloaded here.
A copy of the PowerPoint slides may be downloaded here.
The following is optional background reading:
Computation, Information, and Description, Michael J. O’Donnell
What the Tortoise Said to Achilles, Lewis Carroll
On the Computable Numbers, Alan Turing
On The Infinite, David Hilbert
The Foundations of Mathematics, David Hilbert
The Unreasonable Effectiveness of Mathematics, Richard W. Hamming
The Unreasonable Effectiveness of
Mathematics in the Natural Sciences, Eugene Wigner