Graduate Students
Graduate Programs     
Graduate Home Ph D Programs Masters Degree Ph D Program Requirements Course Descriptions Current Courses Admissions Current Graduate Students Graduate Student Seminar SIAM Chapter Seminar Recent Graduates Incoming Students

Apply Now
Graduate Seminar

Jing Zhang
Carnegie Mellon University
Title: Recursion Theory and Trees

Abstract: We will begin by covering basics of computability notions, including Turing reducibility (with oracle), Turing degrees, Levy Hierarchy of sets etc. Then we will look at some basis theorems regarding recursive trees (eg. is it true that for every recursive tree we can find a branch with property A?). Time permitting, we will also investigate the trees formed by complete extensions of Peano Arithmetic and associated degree structures. Nothing is assumed! Anything related to Alan Turing is amazing!

Date: Tuesday, September 8, 2015
Time: 5:30 pm
Location: Wean Hall 8220
Submitted by:  Zilin Jiang