[Colloquium] 4/14 Research at TTIC: David McAllester, TTIC

[Mary Marre via Colloquium]

When:     Friday, April 14th at noon



Where:    TTIC, 6045 S Kenwood Avenue, 5th Floor, Room 526



Who:       David McAllester; TTIC


Title:        Why Type Theory is Relevant to AI.

Abstract: This talk will argue that mathematics, as a human enterprise, can
be studied from a cognitive science perspective.  Mathematical language
involves grammar in a way that is fundamental to the content of
mathematics. Every grammatically well formed mathematical concept is
associated with a notion of isomorphism. Furthermore, isomorphic objects
are inter-substitutable grammatical contexts.  This talk will discuss type
theory from the perspective the cognitive phenomenon of isomorphism and the
related phenomena of cryptomorphism (equivalence of concept definitions)
and Voldemort's theorem (the fact that it is common for objects to exist
which cannot be named).  Possible relationships to general (common sense)
cognitive architectures will also be discussed.


****************************************************************************************

*Research at TTIC Seminar Series*

TTIC is hosting a weekly seminar series presenting the research currently
underway at the Institute. Every week a different TTIC faculty member will
present their research.  The lectures are intended both for students
seeking research topics and adviser, and for the general TTIC and
University of Chicago communities interested in hearing what their
colleagues are up to.

To receive announcements about the seminar series, please subscribe to the
mailing list: https://groups.google.com/a/ttic.edu/group/talks/subscribe

Speaker details can be found at: http://www.ttic.edu/tticseminar.php.

For additional questions, please contact Nathan Srebro at nati at ttic.edu
<mcallester at ttic.edu>





Mary C. Marre
Administrative Assistant
*Toyota Technological Institute*
*6045 S. Kenwood Avenue*
*Room 504*
*Chicago, IL  60637*
*p:(773) 834-1757*
*f: (773) 357-6970*
*mmarre at ttic.edu <mmarre at ttic.edu>*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20170407/0c5840e5/attachment.html>