Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
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,[...]
Colloquium: Pamela Harris (Williams)
3:30 pm
Colloquium: Pamela Harris (Willi...
Nov 2 @ 3:30 pm – 4:30 pm
|
||||||
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[...]
|
||||||
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[...]
|
||||||
David Ross: Conditional sets II
2:30 pm
David Ross: Conditional sets II
Nov 26 @ 2:30 pm – 3:30 pm
|