Passing Hilbert's Final Test
Lutz will review recent developments in which computability-theoretic dimensions of individual points have been used to answer open questions in classical geometric measure theory, questions whose statements do not involve computability theory or logic.
connect with us