Code and mathematics