Jump to Navigation
Home
›
People
›
Faculty
›
All Faculty
›
Martin Davis
Visiting Scholar
Research
Primary Research Area:
Mathematical Logic
Research Interests:
Logic, diophantine decision problems
Contact Information
731 Evans Hall
eipye
[at]
pacbell [dot] net
http://cs.nyu.edu/cs/faculty/davism/
Faculty
All Faculty
Senate Faculty
Postdocs
Visiting Faculty
Officers and Committees
Staff
Graduate Students
Past
Past Senate Faculty
Past Postdocs
Past PhDs
Mathematics
+
Berkeley
University of California, Berkeley
CalNet Login
Search this site:
Quick Find
Cal Central
College of Letters & Sciences
Computing Support
Contact Us
Current Semester Courses
Department Colloquium
Faculty and GSI Office Hours
L&S Mathematical and Physical Sciences
Mathematics & Statistics Library
MSRI
Resolving Problems & Complaints
Schedule of Classes and Final Exams
Seminars
Submit New Event
UC Berkeley
About
About the Department
News & Announcements
Newsletter
Upcoming Events
Submit New Event
Department Colloquium
Lecture Series
Bowen Lectures
Chern Lectures
DiPerna Lectures
MSRI-Evans Lectures
Serge Lang Undergraduate Lectures
Tarski Lectures
Chern-Simons Research Lectures
Seminars
Workshops and Conferences
Cal Day
Friends of Berkeley Math
Commencement
Past Commencement Speakers
Contact
Directions
Employment
Academic Openings
GSI Openings
Staff Openings
Work-Study Openings
Honors & Awards
History
Newsletter Archive
Department Chairs
Other Viewpoints
Ansel Adams
George Berkeley
Jack London
John Galbraith
In Memoriam Archive
In Memoriam
People
Faculty
All Faculty
Senate Faculty
Postdocs
Visiting Faculty
Officers and Committees
Staff
Graduate Students
Past
Past Senate Faculty
Past Postdocs
Past PhDs
Research
Research Areas
Algebra
Mathematical Analysis
Applied Mathematics
Geometry/Topology
Mathematical Logic
Probability
Research Training Groups
Group in Representation Theory, Geometry and Combinatorics
Group in Geometry and Topology
Centers
Degree Programs
Undergraduate
General Information
Minor
Major
Major in Applied Mathematics
Major in Mathematics
Major with a Teaching Concentration
Declaring the Major
General Information & FAQs
Advising
Putnam Competition
Student Learning Goals
Undergraduate Calendar
Graduate
General Information
PhD Program
Admissions
New Admits
Financial Aid
Prelim Exams
Qualifying Exam
Campus Resources
Grad Life
Courses
Math Courses Overview
Choosing Courses
ALEKS Assessment and Learning Tool
High School Exam Credits
Lower Division Course Outlines
Honors Courses
Course Catalog Descriptions
Course Offerings
Summer 2019
Spring 2019
All Semesters
Enrollment
Availability Updates
Enrollment Guidelines
Concurrent Enrollment
Search Courses
Tutoring
Office Hours
Archives
Exams
Calculus Placement Exam
Course Announcements
Make a Gift
Donate
Resources
Resolving Problems & Complaints
Student Groups
Mathematics and Statistics Library
MSRI
Other Affiliates
bMail
CalCentral
Computing Support
Policies and Procedures
Building Emergency Plan
Equity, Inclusion, and Diversity
Departmental Committees
Staff Organizational Chart
Forms and Applications
Travel & Entertainment