Hacker News new | ask | show | jobs
by cperciva 5601 days ago
the mindset required to write proofs is similar to the mindset required to write secure software

Bingo.

1 comments

My point wasn't intended to be as low-level as it came across. Perhaps a more clear restatement is that I suspect that the attention to detail that I associate with the "proof mindset" isn't quite the same thing as the "twisted mind" that Bruce Schneier talks about; so I'm not convinced mathematicians are more likely to have that skill.