Social Processes and Proofs of Theorems and Programs¶
De Millo, R. A., Lipton, R. J., & Perlis, A. J. (1979). Social Processes and Proofs of Theorems and Programs. ACM, 22(5), 271-280.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Parallel Independent Inspection
- In mathematics, the publication-then-community-checking process around proofs is a parallel-inspection apparatus.
This sourceMathematical proofs gain confidence through publication and distributed community checking by many independent readers — a parallel-inspection apparatus.
SupportedVerified against the work's full text
De Millo, Lipton and Perlis describe proof acceptance as refereed publication followed by many readers independently internalizing, re-proving and checking the result.
“If the referees also fred it attractive and convincing, it gets published so that it can be read by a wider audience.”
- In mathematics, the publication-then-community-checking process around proofs is a parallel-inspection apparatus.
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Read against the text for 1 of 1 citation: 1 supported. Each verdict is shown under its citation below, with what in the work backs the sentence.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:981f64058099 · see in the full table