I think the author even grants too much to the opposing viewpoint. Think of e.g. Prolog vs LISP vs C vs Haskell. I wouldn't call those "different forms of the s

I think the author even grants too much to the opposing viewpoint. Think of e.g. Prolog vs LISP vs C vs Haskell. I wouldn't call those "different forms of the same mathematics"; I'd be more likely to call them "different foundations of mathematics"! Learning C may be a small aid to learning Prolog, but I really am not sure it's a big aid.