7 Nov 2008

Computing and mathematics

Posted by jofr

Owen Densmore from the highly recommended FRIAM Group said about a Special Issue of the AMS on Formal Proof, which touches the question of division between computing and mathematics, between algorithms and equations :

Is current mathematical notation today’s roman numerals, a syntax we have to leave behind or enhance to integrate with algorithms or “scripts”?

Leave a Reply