Andrews, Peter B.
Edit Page
Report
Scan day: 09 February 2014 UTC
80
Virus safety - good
Description: Carnegie Mellon University - Type theory, automated theorem proving.
412-268-6380 (Fax to Math. Dept.) Ph.D., Princeton University, 1964. Advisor: , now published by Springer, 2002. My work has been motivated by the desire to help develop tools which will enhance the abilities of humans to reason. I look forward to the eventual formalization of virtually all mathematical, scientific, and technical knowledge, and the development of automated reasoning tools and automated information systems which use automated reasoning to assist in storing, developing, refining, verifying, finding, and applying this knowledge. Logical research will provide intellectual foundations for these developments.
Size: 627 chars
Contact Information
Email: —
Phone&Fax: 412-268-6380
Address: —
Extended: —
WEBSITE Info
| Page title: | Peter B. Andrews |
| Keywords: | |
| Description: | |
| IP-address: | 128.2.113.175 |
WHOIS Info
| NS | Name Servers: NSAUTH1.NET.CMU.EDU 128.2.1.8 NSAUTH2.NET.CMU.EDU 128.237.148.168 |
| WHOIS | |
| Date | activated: 24-Apr-1985 last updated: 16-Sep-2010 expires: 31-Jul-2014 |