Introductory Workshop: Decidability, definability and computability in number theory

nt.number-theory lo.logic
Start Date
2020-08-24 
End Date
2020-08-28 
Institution
MSRI 
City
Berkeley, CA 
Country
USA 
Meeting Type
conference 
Homepage
http://www.msri.org/workshops/914 
Contact Name
 
Created
 
Modified
 

Description

Our workshop will focus research efforts on the interaction of number-theoretic questions with questions of decidability, definability, and computability, bringing together researchers approaching these questions from various sides to work on the core issues. This Introductory Workshop will serve as the introductory event of the MSRI semester program and is designed to introduce the basic structures and ideas of the different communities, and to highlight problems of active current interest.

Problems?

If you notice a problem with this entry, please contact the curators by email.