Rob Renaud (ru_linux_geek) wrote,
Rob Renaud

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 ;).

  • Post a new comment


    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.