Reminder: UC-Logic & FOM meeting this Friday

[Ryan Flannery]

All,
Just a reminder that we will be meeting this Friday (tomorrow),
26 October, where Dr. Xizhong Zheng will continue his discussion on
computable real numbers. As usual, the presentation will be in 807
Old Chem and start at noon.

-Ryan

[Zheng, Xizhong (zhengxn)]

Ryan,

Please add the following titles of my talks to your web page:

Friday, 26 October 2007,
"On the Weakly Computable Real Numbers"

Abstract: Weakly computable real numbers are defined as the differences
of c.e. real numbers and also called d-c.e. We will show that the class
of d-c.e. real numbers can be characterized in several equivalent ways
and show that this class has very nice mathematical as well as
computability-theoretical properties.

Friday, 2 November 2007,
"Randomness of Weakly Computable Real Numbers"

Abstract: We will firstly recall definitions of randomness, relative
randomness, and Solovay reduction of real numbers. Then it will be shown
that, a real number is weakly computable (or, d-c.e.) iff it is Solovay
reducible to a c.e. random real.

Regards,

Xizhong