Tuesday, March 3, 2020 2:00 pm
-
2:00 pm
EST (GMT -05:00)
Luke MacLean, Department of Pure Mathematics, University of Waterloo
"Kleene's $\mathcal{O}$"
Kleene's $\mathcal{O}$ is a system for ordinal notation used in computability theory that relates the concepts of constructive and computable ordinals. This notation allows one to unambiguously perform transfinite induction on ordinals by ensuring that there is a unique representation for each ordinal.
We will prove some properties about the notation system and show that there are ordinals which are not computable.
MC 5413