You have said you are “a scientist by learning and trade”, but your repeated misuse of the term “theory” and your general ignorance of the scientific method and specific ignorance of the Theory of Evolution lead me to believe you are either not being truthful, or that computer science types haven't got a clue about what actual science entails.
What are you typing and communicating your snarky comments with?
If you want to criticize terminology, then check your definitions first. You said
"occasionally a law is also developed that mathematically describes the process"But...
"A law generalizes a body of observations. At the time it is made, no exceptions have been found to a law. Scientific laws explain things, but they do not describe them. One way to tell a law and a theory apart is to ask if the description gives you a means to explain 'why'."Computer science and mathematics uses theorems and proofs. In my studied scientific branch (math and comp sci) "proof" means:
"A theorem is a mathematical statement that is true and can be (and has been) verified as true. A proof of a theorem is a written verification that shows that the theorem is definitely and unequivocally true. A proof should be understandable and convincing to anyone who has the requisite background and knowledge."