Sep

8

Thu

This week the Sporadic Logic Seminar will be Mushfeq Khan speaking on

“Turing degrees and Muchnik degrees of recursively

bounded DNR functions”.

Summary:

This talk is based on a forthcoming paper by Steve Simpson. It contains

some results that shed light on a part of the Muchnik lattice that remains

poorly understood: the various degrees of recursively bounded DNR functions

obtained by varying the recursive bound.

Keller 303

Sep

15

Thu

I will give a tutorial talk, how to use LEAN and Coq/MathCopm.SSReflect, which are famous proof assistant systems.

Keller 303

Sep

21

Wed

Title: On the Radon Transform

Abstract: In this talk we will introduce, motivate and discuss some of the elementary properties of the Radon transform operator. We will cover a little about how to invert this operator via its adjoint (i.e. back-projection operator) and approximate identities.

Sep

22

Thu

This week Mushfeq Khan is continuing his

seminar from 2 weeks ago on

“Turing degrees and Muchnik degrees of recursively bounded DNR functions”.

Summary:

This talk is based on a forthcoming paper by Steve Simpson. It contains

some results that shed light on a part of the Muchnik lattice that remains

poorly understood: the various degrees of recursively bounded DNR functions

obtained by varying the recursive bound.

Keller Hall 303

## University of Hawaiʻi at Mānoa