I get the idea of code owners now because suddenly I want to have Lemma and Theorem owners in collaborative writing and proving.
Schlagwort: Mathematik
Proof Standards.
Any artificially generated mathematical text will not be considered as a proof unless:
- It has been communicated in both a natural language text paired with a computer formalization of all definitions, theorems, and proofs.
- The formalization has been accepted by the proof assistant and human expert referees have vetted both the formalization and the paired text.
Slop Slogging.
We are in fact faced with a challenge to devise methods of buying originality with plodding, now that we are in possession of slaves which are such persistent plodders.
No lonely group.
Group membership limit must be greater than 1.
Canvas LMS
Real and complex.
I was a twenty-seven-year-old college dropout before I finally met some real mathematicians and found that those people don’t even give a shit about calculus.
Neal Stephenson: Termination Shock