Calendar

17 Sun 18 Mon 19 Tue 20 Wed 21 Thu 22 Fri 23 Sat
All-day
Weeks 5-7 start
Weeks 5-7 start
Sep 18 all-day
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
1:30 pm 13.1, 13.2
13.1, 13.2
Sep 19 @ 1:30 pm – Sep 19 @ 2:30 pm
11:30 am 253A
253A
Sep 20 @ 11:30 am – 12:20 pm
1:30 pm 12.4-6 due
12.4-6 due
Sep 21 @ 1:30 pm – Sep 21 @ 2:30 pm
1:30 pm 13.2, 13.3
13.2, 13.3
Sep 21 @ 1:30 pm – Sep 21 @ 2:30 pm
2:55 pm Logic seminar: Mushfeq Khan @ Keller 402
Logic seminar: Mushfeq Khan @ Keller 402
Sep 21 @ 2:55 pm – 3:55 pm
Title: Measure-Risking Arguments in Recursion Theory Abstract: By way of introducing the idea of measure-risking, I will present a proof of Kurtz’s theorem that the Turing upward closure of the set of 1-generic reals is[...]