Hacker News new | ask | show | jobs
by Chris2048 3316 days ago
Math is over-abstract. At least programming often requires a concrete implementation. Mathematical expressions can easily have non-constructivity.