I will give a tutorial talk, how to use LEAN and Coq/MathCopm.SSReflect, which are famous proof assistant systems.
Keller 303
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.
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