# Category Archives: General

General topics concerning constructive and computable mathematics.

# The blog has moved to math.andrej.com

This is just to let you know that I moved the blog to a new server, which will be up even when I am away on holidays. The new url is http://math.andrej.com/. If someone knows how to tell all those RSS feeds that seem to be accessing my blog that they should go to the new address, please let me know. Right now I have redirects set up, but that is not an acceptable long-term solution.

# ASCIIMathML

I have found a good way to write math in web pages. ASCIIMathML is a piece of javascript that translates simple-minded Latex-like ASCII math to MathML, but only if the browser supports MathML. Since the input syntax is very simple, the expressions are quite readable in the raw form, as well.

For example, if I type

forall x in RR exists y in CC. (1-x^2 )/sqrt(1+y^4)=1

it is seen as forall x in RR exists y in CC. (1-x^2 )/sqrt(1+y^4)=1. If you are going to post to the blog, you may be interested in the ASCIIMathML syntax reference page.

To enable MathML on your computer, install mathplayer plugin
if you are using Internet Explorer. For Firefox and Mozilla, you have to install math fonts.

# 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.