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.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded