April 25

Notes are here.

Scribe Notes for April 23

Here is the tex and here is the pdf.

Scribe notes for April 20

Here are the scribe notes for April 20th: PDF, TeX
The topic: Primitive recursion -- sequence coding and Turing Machines

Scribe Notes: Wednesday, April 18th

Here is the PDF.
If I made any errors let me know and I will update the document.

Notes April 13

Notes are here.

Scribe notes from April 6th

Here is the pdf, and here is the tex.

Scribe notes from 4/16

Here is the tex and pdf.

Scribe notes from Mar 16, 2012

Here is the pdf. And here is the TeX.

Halting Problem in Iambic Tetrameter

Since we just saw a proof of  the undecidability of the halting problem, I thought I'd share with everyone my favorite version of the proof: Scooping the Loop Snooper

Scribe Notes from Wednesday, April 11

Here is the pdf. And here is the TeX.

For anyone who wants an example of a quine, check out this one (it's a python script).

Scribe Notes from Monday, April 9

Here is the pdf. And here is the TeX.

Class Notes

Here is the pdf and the tex files for the notes from April 2nd and 4th on Turing machines.

Turing's paper "On computable numbers, with an application to the Entscheidungsproblem" is freely available here, although in somewhat hard-to-use form.