Proofs in Computer Science (Optional) · Certificates
Lesson 2
We have already managed to prove a lot, but we still haven't said what exactly we consider a proof. This is more of a philosophical question, but still: how would you define a proof?
Proofs in Computer Science (Optional) · Certificates
We have already managed to prove a lot, but we still haven't said what exactly we consider a proof. This is more of a philosophical question, but still: how would you define a proof?