It also lets you break down the field into discrete chunks. A proof is not a field of study, but a field of study (in Mathematics) cannot exist without proofs.

It also lets you break down the field into discrete chunks. A proof is not a field of study, but a field of study (in Mathematics) cannot exist without proofs. The way to start a field of study is to write a discrete conjecture which could be developed into a proof. Software is the same way. All big programs had to start somewhere.