Courses » » Interdepartmental 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”