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.