5/5: Sean Ebels-Duggan
Monday, April 27th, 2009“Why is Arithmetic Incomplete?”
4:30-6:30 pm, Cobb 102 (campus map)
The following is optional background reading:
On the Incompleteness Theorems, Henryk Kotlarski
“Why is Arithmetic Incomplete?”
4:30-6:30 pm, Cobb 102 (campus map)
The following is optional background reading:
On the Incompleteness Theorems, Henryk Kotlarski
“Wittgenstein and ‘Tonk’”
4:30-6:30 pm, Wieboldt 111 (campus map)
A copy of Martin Gustafsson’s paper may be downloaded here.
The following are recommended background readings:
A Runabout Inference Ticket, Arthur Prior
Tonk, Plonk, and Plink, Nuel Belnap
Roundabout the Runabout Inference Ticket, J. T. Stevenson