プログラムはただの数学ってのは違和感しかないな
プログラム意味論やら圏論やらで数学的要素が絡む事はあるけどあくまでもエンジニアリングの範疇だと思うけどね