Giorgi Japaridze Villanova University Computability, Logic, and Computability Logic Outstanding Faculty Research Award lecture April 21, 2015 1 2 Outline Computability Logic…