Search a Conference through our dedicated search page

Introductory Workshop: Decidability, definability and computability in number theory

24th August 2020   -   28th August 2020
Berkeley, California, United States
http://www.msri.org/workshops/914
Save

Abstract

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.