# Theory of Field $\mathbb{C}$ is Decidable

Speaker:

## Time:

Saturday, 4 July 2020, 16:00 to 17:00

## Organisers:

Zoom Details:
Meeting ID: 981 7222 2418

Abstract:  Many optimization problems reduce to finding truth value of quantified formulas over real or/and complex numbers. In this talk we will cover a proof of decidability of theories of real numbers and complex numbers due to Tarski. We will begin by providing an algorithm to locate roots of multi-variable polynomials over these fields and then use quantifier elimination techniques to prove decidability. If time permits, we will discuss its applications to optimization and verification problems.

Note: There is no prerequisite from Mathematical Logic or Computability theory.