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.

Type

Journal article

Intellectual base

Primary research

Year

1979

DOI

10.1145/359104.359106

Link

https://doi.org/10.1145/359104.359106

Cited from

operations_research

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.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:981f64058099 · see in the full table