Logic Seminar

Speaker: Valentina Harizanov, GWU

http://home.gwu.edu/~harizanv/

Title: Diagonal method in computability theory

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