Midwest Computability Seminar

Part iii

The Midwest Computability Seminar is meeting remotely in the fall of 2020. The recurring Zoom link is:


Meeting ID: 997 5433 2165

Passcode: midwest

Slides    YouTube video    Panopto video

This session will be held jointly with the Computability Theory and Applications Online Seminar.

DATE: Tuesday, September 15th, 2020

TIME: 3:00 - 4:00 PM CDT

SPEAKER: Justin Miller - University of Notre Dame

Noncomputable Coding, Density, and Stochasticity

We introduce the into and within set operations in order to construct sets of arbitrary intrinsic density from any Martin-Löf random. We then show that these operations are useful more generally for working with other notions of density as well, in particular for viewing Church and MWC stochasticity as a form of density.

Past and Future Sessions

Previous Seminars:

If you haven't been receiving the announcements and would like to be included in the list, send an email to drh@math.uchicago.edu.