3 ms·
Formal computer science usually has more formal proofs than most branches of mathematics. Computer scientists will lay out an explicit proof by induction where
by blordosh 17y ago
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.
- mustpax 17y agoHonestly, 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.
- otto 17y agoI 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.
- jules 17y agoCheck out some papers on type theory. They prove the most trivial things in excruciating detail.