PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Stephen Simpson.

Title:A computational aspect of the Lebesgue differentiation theorem
Seminar:Logic Seminar
Speaker: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.

Room Reservation Information

Room Number:MB315
Date:01 / 27 / 2009
Time:02:30pm - 03:45pm