printable pdf
比利时vs摩洛哥足彩
,
比利时vs摩洛哥足彩
,
university of california san diego
****************************
zoom for thought
jack jerry garzella - ph.d. student
uc san diego
type theory: it's the new set theory
abstract:
set theory has long been considered the foundation of all mathematical thought. however, people who prove theorems on computers for a living don't use set theory anymore--and now some suggest that mathematicians should do the same. we'll discuss the problems people have with set theory and its main alternative, type theory.
february 9, 2021
1:00 pm
please see email with subject ``zoom for thought information''
****************************