Strictly speaking, math gets proven from scratch by every math student. Software is slightly different, since most of it never gets a formal proof at all.
Strictly speaking, math gets proven from scratch by every math student. Software is slightly different, since most of it never gets a formal proof at all.
CapedStanker@beehaw.org 3 days ago
Sure, but it works, and that’s what we build upon. And then people build upon that. If we really wanted, we could say simple loop is building upon the work that humans did when we simply invented/discovered counting.