Walter Dean - Humboldt Foundation Fellowship Success
Dr Walter Dean has been awarded an 18-month long Fellowship for Experienced Researchers by the Alexander von Humboldt Foundation. The Fellowship will fund Walter's continuing research on the role of arithmetical methods in Hilbert's program and related developments in computability theory and reverse mathematics. Among the topics he will explore are whether arithmetisation provides a uniform assimilation of the paradoxes of set theory and semantics to incompleteness phenomena and the legacy of the slogan 'consistency implies existence' (which is often associated with Hilbert) in contemporary model theory. Walter will be based at the Munich Centre for Mathematical Philosophy for the duration of the Fellowship.