News
Published 1 December 20122012 Jones Medal
Jones Medal – for lifetime achievement in mathematics: awarded by the Royal Society of New Zealand to Professor Rob Goldblatt FRSNZ, Victoria University of Wellington.
To Robert Ian Goldblatt for his profound and world-leading research in modal logic and category theory, and his lifetime of dedicated service to mathematics
In a career spanning more than 40 years at Victoria University of Wellington, Professor Goldblatt has become one of the world’s leading authorities in modal logic. In this system, statements can be much more than simply true or false: they can be, say, necessarily true, possibly true, or eventually true. This flexible logic is at the heart of basic software engineering and the commercial program and chip verification industry. Modal logic is interdisciplinary, overlapping mathematics, philosophy, linguistics, and computer science.