Due Tuesday January 29 at the beginning of lecture.
Update: There is a typo in problem 2, it must be .
Due Tuesday January 29 at the beginning of lecture.
Update: There is a typo in problem 2, it must be .
Leave a Comment » |
116b: Computability and incompleteness |
Permalink
Posted by andrescaicedo
We showed that a function is in iff it has a
-graph. It follows that a set is r.e. iff it is
-definable.
Leave a Comment » |
116b: Computability and incompleteness |
Permalink
Posted by andrescaicedo
You are currently browsing the A kind of library blog archives for the day Tuesday, January 22nd, 2008.