Universiteit van Amsterdam

Archives

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

Joel D. Hamkins visiting ILLC

Date: June 1 - August 31, 2005

From June 1 to August 31, 2005, Prof Dr Joel D. Hamkins will be visiting the ILLC. He is a Full Professor of Mathematics and Computer Science at the City University of New York and his visit is funded by the NWO in the project "The Modal Logic of Forcing" (DN 62-612; CN 2005/02452/IB).

Professor Hamkins is one of the inventors of Infinite Time Turing Machines and has given an invited plenary talk on them at the conference CiE 2005 (June 9). Here at the ILLC, he will be working mainly with Benedikt Löwe on the modal logic of forcing and Infinite Time Turing Machines, but is open to all other research projects involving set theory in particular and mathematical logic in general. He has already given a presentation at the Colloquium on Mathematical Logic (June 3) and will also give a talk at the Logic Tea on June 28 (in connection with the workshop ). In addition to that, Professor Hamkins is teaching a short project course entitled "Surreal Numbers".

His office is P.316 (extension 5298).

Please note that this newsitem has been archived, and may contain outdated information or links.