DEPARTMENT OF MATHEMATICS TECHNICAL REPORT THE ROLE OF LOGIC IN THE VALIDATION OF MATHEMATICAL PROOFS Annie Selden John Selden February 1999 No. 1999-1 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookeville, T N 38505