Calendar

Sun Mon Tue Wed Thu Fri Sat
1
2
Colloquium John Marriott (Boeing) 3:30 pm
Colloquium John Marriott (Boeing) @ Keller 401
Nov 2 @ 3:30 pm – 4:30 pm
Speaker: John Marriott (Boeing) Title: Data Science Curriculum for Industry Abstract: John Marriott earned his PhD from UH Math in 2013 and currently works at Boeing as a data scientist. He combines mathematical modeling, statistics,[...]
3
4
5
Jake Fennick: Probabilistic logic 2:30 pm
Jake Fennick: Probabilistic logic @ Keller 314
Nov 5 @ 2:30 pm – 3:30 pm
Title: Logic with Probability Quantifiers Abstract: This talk is based on chapter XIV of Model-Theoretic Logics (https://projecteuclid.org/euclid.pl/1235417263#toc). I will first give a brief review of admissible sets and the infinitary logic which is necessary for[...]
6
7
8
9
10
11
12
13
14
15
16
Colloquium: Kameryn Williams (UHM) 3:30 pm
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[...]
17
18
20
21
22
23
24
25
26
27
28
29
30