Technical Reasoning/Formalization
Jump to navigation
Jump to search
Formalization[edit | edit source]
In this section we generalize from the observations from the previous section. What we "observed" was
- A scientific argument.
- A philosophical argument.
- Two mathematical proofs.
- The proof of correctness of a computer program.