Autumn Patricia Ahn "Documentation as Poetic-Witness": a workshop
In this workshop, we will use listening and writing as a form of complex “secondary” poetry. “Secondary” in this case, meaning a peripheral consciousness. Using rapid association, this technique allows the senses to take precedent to the consciousness. Akin to the “automatic writing” practices developed by the Surrealist & Dada-ist art movements of the early 20th century, also recognized and employed by early psychologist philosophers such as William James and writers such as Gertrude...
We present a narrative of Georg Kreisel’s relation to Kurt Gödel, based on their correspondence. What appears to have been their first contact was Kreisel’s application in 1955 for a year’s membership at the Institute for Advanced Study. This was granted and extended for a second year. Then Kreisel returned to his position at the University of Reading in England. But he began a wandering life, spending time at Reading, Stanford University, the University of...Read more about Harvard Logic Colloquium: Charles Parsons "Kreisel and Gödel"
The Political Theory Colloquium invites you to a special event with Charles Taylor in Fong Auditorium on Thursday October 25, 4-6 p.m. This event is co-sponsored by the Colloquium for Intellectual History, the Department of Philosophy, the Committee on Social Studies and the Edmond J. Safra Center for Ethics.
This talk discusses a new combinatorial proof of the existence of expander graphs, which can be carried out in the bounded arithmetic theory VNC1 corresponding to alternating linear time. As an application, we prove that the monotone propositional sequent calculus polynomially simulates the full propositional sequent calculus. Prior to this, only a quasipolynomial simulation was known. Joint work with Valentine Kabanets, Antonina Kolokolova, and Michal Koucky.