098. Experimental Courses
OTSOG:* Logic and Language
Examining the deep inter-relations between math, logic and language, this year-long seminar course continues the explorations begun in the innovative "Science FACTion" course. Among other topics, students will study transformational generative grammar, philology, etymology, science fiction, mathematical and literary foundations of machine consciousness, the literature of Jorge Luis Borges, Gödel's incompleteness theorem, Turing machines, Church's Thesis, 1st- and 2nd-order theories of logic, nonstandard analysis, and constructivist mathematics.
* OTSOG = "On the Shoulders of Giants"