15 May 2017

Computing the truth

From Nine To Noon, 10:07 am on 15 May 2017

Professor Greenberg, from Victoria's School of Mathematics and Statistics, is a world-leading researcher in the area of mathematical logic - the part of mathematics that regards language as an object. He talks to Kathryn Ryan about the hopes for a mechanical way of producing knowledge about the world, how these hopes were crushed, and how from the ruins arose a new theory of computability.