Calendar

Sep
2
Fri
Colloquium: Pamela Harris (Williams)
Sep 2 @ 3:30 pm – 4:30 pm
Sep
8
Thu
Logic seminar: Mushfeq Khan @ Keller Hall 303
Sep 8 @ 1:30 pm – Sep 8 @ 2:30 pm

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
12
Mon
Analysis Qualifying Exam
Sep 12 @ 9:00 am – 1:00 pm
Sep
14
Wed
Analysis Seminar: Thomas Hangelbroek @ Keller 313
Sep 14 @ 3:30 pm – 4:30 pm
Sep
15
Thu
Logic seminar: Manabu Hagiwara @ Keller 303
Sep 15 @ 1:30 pm – Sep 15 @ 2:30 pm

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

Keller 303

Sep
19
Mon
Topology Qualifying Exam
Sep 19 @ 9:00 am – 1:00 pm
Sep
21
Wed
Analysis Seminar: Mirza Baig @ Keller 313
Sep 21 @ 3:30 pm – 4:30 pm

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
Logic seminar: Mushfeq Khan
Sep 22 @ 1:30 pm – Sep 22 @ 2:30 pm

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