Calendar

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[...]