7 Nov 2008
Computing and mathematics
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”?