Jason (jcreed) wrote,

Got up late. Ate some waffles, stumbled over to Module Systems. Complexity theory did some more stuff with pseudorandomness. Pseudorandomness is haaarrrd. Ugh. But we will be having a bonus lecture this Saturday. Hooray!

Checked out "Hilbert's tenth problem" (matiyasevich) from Thackeray and "Petri net theory and the modeling of systems" (peterson) from E&S. The reduction from Hilbert's Tenth to Petri Net Subset to Petri Net Equality is pretty understandable, but the undecidability of Hilbert's Tenth seems quite tricky. Somewhere along the way it turns out that diophantine sets are exactly the R.E. sets, though, which is pretty cool.

  • (no subject)

    Open-plan offices are potentially distracting, and the timesnpr is on it.

  • (no subject)

    Oh boy they replaced the burnt-out lights in my office. It is so much nicer in here now. Like night and day, I tell ya. In that, in particular, it is…

  • (no subject)

    Some time early last week, the ceiling in the hall outside of my office began leaking water. A janitor came by and placed a bucket under the leak.…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded