Hacker News Reader

Formal computer science usually has more formal proofs than most branches of mathematics. Computer scientists will lay out an explicit proof by induction where most mathematicians will simply write "by induction". At least that's been my experience.

View on HN

Honestly, it's not a stretch to say computer science that most of us practice day in and day out, and the way most of us study it in college, is heavy on practice and light on theoretical rigor.

I found that to be quite the opposite. Having finished my CS degree and taken various analysis of algorithm classes I found proofs to involve lots more hand holding and shortcuts.

I'm working on finishing my Mathematics degree and proofs are much more vigorous.

Check out some papers on type theory. They prove the most trivial things in excruciating detail.

Reply on news.ycombinator.com