Logic Seminar-Diagonal method in computability theory

Wednesday, February 8, 2017

5:30–6:30p.m.

Speaker: Valentina Harizanov, GWU

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

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.