Links tagged as 'pdf'

Creating a Computer Science Canon: A Course of "Classic" Readings in Computer Science

In Martin Hirzel's translation of Godel's Incompletness Theorem he mentions how he did the translation for a course. This is a syllabus for that course; it lays out the philosophy behind such a course, and, of particular value, a possible reading list.

added 12/09/2007. tagged as mathematics, computer, science, literature, syllabus, pedagogy, pdf.

Incompleteness Theorem

A modernized translation of Kurt Gödel's work, 1931. [pdf]

added 12/08/2007. tagged as pdf, mathematics, logic, truth, philosophy.