11 Sun | 12 Mon | 13 Tue | 14 Wed | 15 Thu | 16 Fri | 17 Sat |
---|---|---|---|---|---|---|
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
|
|
|
|
|
3:30 pm
Colloquium: Kameryn Williams (UHM)
@ Keller 401
Colloquium: Kameryn Williams (UHM)
@ Keller 401
Nov 16 @ 3:30 pm – 4:00 pm
Speaker: Kameryn Williams (UHM) Title: The universal algorithm, the $Sigma_1$-definable universal finite sequence, and set-theoretic potentialism Abstract: As shown by Woodin, there is an algorithm which will computably enumerate any finite list you want, so[...]
|
|