Alonzo Church showed that lambda calculus can replace all of abstract numerical mathematics with manipulation of meaningless symbols laid out in straight lines, or curved around.