blordosh·17 anni fa·discussFormal 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.
blordosh·17 anni fa·discussLet me define pseudo-math to be the approach of making a few mathematical definitions and then proving only some trivial "theorems."Theorem. The Darc's theory of patches is pseudo-math.Proof. By definition. QED