Formal Philosophy

“Modality and Context-Dependence in Futures”

4:30-6:30 pm, Cobb 102 (campus map)

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

“The Geometry of Bell’s Theorem”

4:30-6:30 pm, Cobb 102 (campus map)

The following is optional background reading:
Bell’s Theorem, Abner Shimony

“What do Alfreds Have in Common?”

4:30-6:30 pm, Cobb 104 (campus map)

The paper may be downloaded here.