Midwest Computability Seminar

XXV
Part iii



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

https://notredame.zoom.us/j/99754332165?pwd=RytjK1RFZU5KWnZxZ3VFK0g4YTMyQT09

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

TITLE:
Noncomputable Coding, Density, and Stochasticity

ABSTRACT:
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.