3 ms·
Alonzo Church showed that lambda calculus can replace all of abstract numerical mathematics with manipulation of meaningless symbols laid out in straight lines,
by fsckboy 4y ago
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.