Christopher Porter (University of Florida)
18 Sep, 2pm, LH 302.
In this talk, I will frame a number of definitions of algorithmic randomness as instances of what I refer to as the logical approach to randomness. In order to better understand this logical approach, I will contrast it with one of the standard approaches to defining randomness in classical mathematics, which I call the valuative approach to randomness. I will focus specifically on two potential problems faced by the logical approach that threaten to trivialize this approach to defining randomness. I will address these two potential problems, arguing that the logical approach fills an important role, namely, that of supplementing the valuative approach by yielding additional information about classically random objects, which is unearthed when we bring the tools of mathematical logic to bear on the study of randomness.