TY  - RPRT
TI  - Computer's ability to verify proof is an illusion.
AU  - Derek Partridge
PY  - 2003
DO  - 10.1038/425121c
UR  - https://pubmed.ncbi.nlm.nih.gov/12968147/
ID  - 12968147
ER  -