Rob Renaud (![[info]](http://l-stat.livejournal.com/img/userinfo.gif){kind=small} ru_linux_geek) wrote,@ 2007-12-31 03:48:00 |
|
What to do when you can't sleep?
Why not attempt to write proofs about computable numbers? I guess I'll see if I really understood my formal languages class. But anything labeled a paradox is probably pretty tricky, so I am not too confident that I right.
Edit: Apparently, I am good enough to write correct proofs without sleep ;).
Why not attempt to write proofs about computable numbers? I guess I'll see if I really understood my formal languages class. But anything labeled a paradox is probably pretty tricky, so I am not too confident that I right.
Edit: Apparently, I am good enough to write correct proofs without sleep ;).
