Social processes and proofs of theorems and programs
From MaRDI portal
Publication:1150266
DOI10.1007/BF03023394zbMath0455.68017OpenAlexW2059325406MaRDI QIDQ1150266
Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis
Publication date: 1980
Published in: The Mathematical Intelligencer (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf03023394
Related Items
Automated theorem provers: a practical tool for the working mathematician?, Sharpening constraint programming approaches for bit-vector theory, A probabilistic remark on algebraic program testing, The halting problem and security’s language-theoretic approach: Praise and criticism from a technical historian
Cites Work