Meta-logical frameworks and formal digital libraries

Abstract

Although the Annals will publish Dr. Hales's paper, Peter Sarnak, an editor of the Annals, whose own work does not involve the use of computers, says that the paper will be accompanied by an unusual disclaimer, stating that the computer programs accompanying the paper have not undergone peer review. There is a simple reason for that, Dr. Sarnak says it is impossible to find peers who are willing to review the computer code. [Economist, March 31, 2005]. © IFIP International Federation for Information Processing 2008.