I'd guess it's probably because they don't actually understand proofs in the first place. There are a lot of computer science undergrads who go in with math onl

I'd guess it's probably because they don't actually understand proofs in the first place. There are a lot of computer science undergrads who go in with math only up through calculus somewhere and get totally lost when it gets to this weird wibbly-wobbly place where you have to make logical statements using previously unknown Latin notation instead of just solving for x.