Comment by Jeff_Brown

Have you tried Haskell? It feels much closer to math to me. Definitions, not procedures. It even looks like math.