A Turing Complete Language for Mathematics Ryan Voots <SIMCOP@cpan.org>