Logic Seminar-Diagonal method in computability theory

Wednesday, February 8, 2017


Speaker: Valentina Harizanov, GWU


Place: Rome Hall (801 22nd Street), Room 351

Title: Diagonal method in computability theory

Abstract: We will show how Cantor’s diagonal method is generalized and used in computability theory to construct mathematical objects with various non-computable properties.