Gödel Numbering

Just for fun implemenation: http://en.wikipedia.org/wiki/G%C3%B6del_numbering