Stewart Shapiro (Ohio State University), "Computing with numbers and
other non-syntactic things: knowing which"
Abstract. Michael Rescorla has argued that it makes sense to compute
directly with numbers, and he faulted Turing for not giving an
analysis of this. In line with a later paper of his, however, it only
makes sense to compute directly with syntactic entities, such as
strings on a given alphabet. Computing with numbers goes via notation.
This raises broader issues involving de re propositional attitudes
towards numbers and other non-syntactic abstract entities.
Georg Sverdrups hus, undervisningsrom 2
2 June 10.15am - noon
The lecture and discussion will be followed by an informal lunch in
Sverdrups hus.
All welcome!