Martin Davis

Professor Emeritus

martin@eipye.com

Current Address

      3360 Dwight Way

      Berkeley, CA 94704-2523, U.S.A.

Phones
      510-848-8475 (voice)   510-665-1686 (fax)

Email

      martin@eipye.com

Topics

• Gödel's Theorem & Artificial Intelligence
  (Two short papers refuting Roger Penrose from Behavioral and Brain Science)
  Is Mathematical Insight Algorithmic? postscript
  How Subtle is Gödel's Theorem postscript
  
  
• Read the introduction to my book: The Universal Computer postscript
  
  
• Read my short article in the HANDBOOK OF AUTOMATED REASONING: The Early History of Automated Deduction postscript
  LINK TO THE HANDBOOK'S SITE
  LINK TO ALTERNATE SITE
  
  
• NYU Tech ReportsLink to CS technical reports

The photograph below is by my son Harold Davis. LINK TO HIS SITE