# Meeting Details

Title: A computational aspect of the Lebesgue differentiation theorem Logic Seminar Noopur Pathak, Pennsylvania State University Given an $L_1$-computable function, $f$, we identify a canonical representative of the equivalence class of $f$, where $f$ and $g$ are equivalent if and only if $\int|f-g|$ is zero. Using this representative, we prove a modified version of the Lebesgue Differentiation Theorem. Our theorem is stated in terms of Martin-L\"of random points in Euclidean space.