PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Stephen Simpson.

Title:Computable functions of a computable real variable
Seminar:Logic Seminar
Speaker:Adrian Maler, Pennsylvania State University
We formulate the appropriate definitions of (well-defined) effective operations and partial recursive operators on the computable real numbers and prove an analogue of the Kreisel-Lacombe-Shoenfield Theorem.

Room Reservation Information

Room Number:MB315
Date:10 / 26 / 2010
Time:02:30pm - 03:45pm