blordosh

3 ms·

1. 1.▲
   by blordosh 17y ago

   Tedious, but interesting
2. 2.▲
   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
3. 3.▲
   by blordosh 17y ago

   Let 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