Hacker News new | ask | show | jobs
by Glyptodon 4840 days ago
It's not the proof by induction is a hard concept, though.

Rather, writing out any formal proof is monotonous, tedious, lengthy, and prone to minor screw-ups, and to someone with an engineering mindset, not useful in any practical sense.