I devote a lot of my time to thinking about the relationship between mathematics and computation. There are two sides of this, which can be expressed by a the slogan “Computable mathematics and mathematics of computation”. Computable mathematics is about how to do mathematics with computers, while mathematics of computation is about mathematics that describes properties of computation in a mathematical, abstract way.Should make for interesting reading.
Sunday, May 15, 2005
New Math/CS blog
Via John Langford, a new math/CS blog by Andrej Bauer:
Posted by Suresh Venkatasubramanian at 5/15/2005 09:42:00 PM