UM Math Graduate Student Seminar

August Hozie
University of Miami

will present

The Arithmetization of Syntax

Friday, October 14, 2016, 5:00pm
Ungar Building Room 402


Through a technique referred to as the arithmetization of syntax, Godel effectively transformed metamathematical statements into statements that could fit inside first order arithmetical systems. In this talk I explore a particular concrete case of Godel’s work, the incompleteness of Peano Arithmetic, and discuss the philosophical and historical significance of the result.


Back to the seminar's page