Mathematics and Computation

A blog about mathematics for computers

What this blog is about

I recently stumbled upon a blog on machine learning by a good friend of mine, John Langford. The blog has gathered together a community of people who discuss various topics (not limited strictly to machine learning). Naturally I wanted to have a blog, too.

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.

If this is a subject that interests you, I invite you to join me.

Comments

If you would like, I could post my musings on this topic here in addition to on my blog.

[...] - bookmarked by 3 members originally found by ILIKEICECREAM101 on 2008-09-05 Comment on What this blog is about by Anonymous http://math.andrej.com/2005/04/24/3/ - bookmarked by 1 members originally found by stadtrat on [...]

How to comment on this blog: At present comments are disabled because the relevant script died. If you comment on this post on Mastodon and mention andrejbauer@mathstodon.xyz, I will gladly respond. You are also welcome to contact me directly.