<div dir="ltr"><div><p class="MsoNormal" style="margin-bottom:0.0001pt;font-size:12.8px;line-height:normal"><span style="font-size:12.8px"><font face="arial, helvetica, sans-serif">When:     <span class="gmail-m_-3334114423867790755gmail-m_-9149867449940684394gmail-m_-2475804285784780919gmail-m_-7164114494009287624gmail-m_-7229391482845024438gmail-m_7776827232588711945gmail-m_-3320638437953326758gmail-m_3990498715904616980gmail-il"><span class="gmail-il">Friday</span></span>, April 14th at noon</font></span></p><p class="MsoNormal" style="margin-bottom:0.0001pt;font-size:12.8px;line-height:normal"><font face="arial, helvetica, sans-serif"> </font></p><p class="MsoNormal" style="margin-bottom:0.0001pt;font-size:12.8px;line-height:normal"><font face="arial, helvetica, sans-serif">Where:    TTIC, 6045 S Kenwood Avenue, 5th Floor, Room 526</font></p><p class="MsoNormal" style="margin-bottom:0.0001pt;font-size:12.8px;line-height:normal"><font face="arial, helvetica, sans-serif"> </font></p><p class="MsoNormal" style="margin-bottom:0.0001pt;font-size:12.8px;line-height:normal"><font face="arial, helvetica, sans-serif">Who:       David McAllester; TTIC</font></p></div><div><font face="arial, helvetica, sans-serif"><br></font></div><div><br></div><div class="gmail_default">Title:        Why Type Theory is Relevant to AI.</div><div class="gmail_default"><br></div><div class="gmail_default">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.</div><div class="gmail_default"><br></div><div class="gmail_default"><br></div><div class="gmail_default"><div class="gmail_default" style="font-size:12.8px"><b><font face="arial, helvetica, sans-serif">******************************<wbr>******************************<wbr>**************************</font></b></div><div class="gmail_default" style="font-size:12.8px"><b><font face="arial, helvetica, sans-serif"><br></font></b></div><div class="gmail_default" style="font-size:12.8px"><b><font face="arial, helvetica, sans-serif"><span class="gmail-m_-3334114423867790755gmail-m_-9149867449940684394gmail-il">Research</span> at <span class="gmail-m_-3334114423867790755gmail-m_-9149867449940684394gmail-il">TTIC</span> Seminar Series</font></b></div><div class="gmail_default" style="font-size:12.8px"><font face="arial, helvetica, sans-serif"> </font></div><div class="gmail_default" style="font-size:12.8px"><font face="arial, helvetica, sans-serif"><span class="gmail-m_-3334114423867790755gmail-m_-9149867449940684394gmail-il">TTIC</span> is hosting a weekly seminar series presenting the <span class="gmail-m_-3334114423867790755gmail-m_-9149867449940684394gmail-il">research</span> currently underway at the Institute. Every week a different <span class="gmail-m_-3334114423867790755gmail-m_-9149867449940684394gmail-il">TTIC</span> faculty member will present their <span class="gmail-m_-3334114423867790755gmail-m_-9149867449940684394gmail-il">research</span>.  The lectures are intended both for students seeking <span class="gmail-m_-3334114423867790755gmail-m_-9149867449940684394gmail-il">research</span> topics and adviser, and for the general <span class="gmail-m_-3334114423867790755gmail-m_-9149867449940684394gmail-il">TTIC</span> and University of Chicago communities interested in hearing what their colleagues are up to.   </font></div><div class="gmail_default" style="font-size:12.8px"><font face="arial, helvetica, sans-serif"> </font></div><div class="gmail_default" style="font-size:12.8px"><font face="arial, helvetica, sans-serif">To receive announcements about the seminar series, please subscribe to the mailing list: <a href="https://groups.google.com/a/ttic.edu/group/talks/subscribe" target="_blank">https://groups.google.co<wbr>m/a/<span class="gmail-m_-3334114423867790755gmail-m_-9149867449940684394gmail-il">ttic</span>.edu/group/<span class="gmail-m_-3334114423867790755gmail-m_-9149867449940684394gmail-m_-145227099154046382gmail-m_-7164114494009287624gmail-m_-7229391482845024438gmail-m_7776827232588711945gmail-m_-3320638437953326758gmail-m_3990498715904616980gmail-m_-8247393949946928606gmail-m_-8480526344443392316gmail-m_-1056553444316568634gmail-m_593248408351034154gmail-m_8873931552348078312gmail-m_-3900280345830708483gmail-m_2412953322955092339gmail-m_-3568727914368024249gmail-m_-7538648194147727859gmail-il"><span class="gmail-m_-3334114423867790755gmail-m_-9149867449940684394gmail-m_-145227099154046382gmail-m_-7164114494009287624gmail-m_-7229391482845024438gmail-m_7776827232588711945gmail-m_-3320638437953326758gmail-m_3990498715904616980gmail-m_-8247393949946928606gmail-m_-8480526344443392316gmail-m_-1056553444316568634gmail-m_593248408351034154gmail-m_8873931552348078312gmail-m_-3900280345830708483gmail-m_2412953322955092339gmail-m_-3568727914368024249gmail-il"><span class="gmail-m_-3334114423867790755gmail-m_-9149867449940684394gmail-m_-145227099154046382gmail-m_-7164114494009287624gmail-m_-7229391482845024438gmail-m_7776827232588711945gmail-m_-3320638437953326758gmail-m_3990498715904616980gmail-il"><span class="gmail-m_-3334114423867790755gmail-m_-9149867449940684394gmail-m_-145227099154046382gmail-m_-7164114494009287624gmail-il"><span class="gmail-il">talks</span></span></span></span></span>/subsc<wbr>ribe</a></font></div><div class="gmail_default" style="font-size:12.8px"><font face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_default" style="font-size:12.8px"><font face="arial, helvetica, sans-serif">Speaker details can be found at: <a href="http://www.ttic.edu/tticseminar.php" target="_blank">http://www.<span class="gmail-m_-3334114423867790755gmail-m_-9149867449940684394gmail-il">ttic</span>.edu/tticse<wbr>minar.php</a>.</font></div><div class="gmail_default" style="font-size:12.8px"><font face="arial, helvetica, sans-serif"> </font></div><div class="gmail_default" style="font-size:12.8px"><font face="arial, helvetica, sans-serif">For additional questions, please contact Nathan Srebro at <a href="mailto:mcallester@ttic.edu" target="_blank">nati@<span class="gmail-m_-3334114423867790755gmail-m_-9149867449940684394gmail-il">ttic</span>.edu</a> </font></div><div><font face="arial, helvetica, sans-serif"><br></font></div><div><font face="arial, helvetica, sans-serif"><br></font></div><div><font face="arial, helvetica, sans-serif"><br></font></div></div><div class="gmail_default"><br></div><div class="gmail_default"><br></div><div><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><font face="arial, helvetica, sans-serif">Mary C. Marre</font><div><font face="arial, helvetica, sans-serif">Administrative Assistant</font></div><div><i><font face="arial, helvetica, sans-serif" color="#3d85c6"><b>Toyota Technological Institute</b></font></i></div><div><i><font face="arial, helvetica, sans-serif" color="#3d85c6">6045 S. Kenwood Avenue</font></i></div><div><i><font face="arial, helvetica, sans-serif" color="#3d85c6">Room 504</font></i></div><div><i><font face="arial, helvetica, sans-serif" color="#3d85c6">Chicago, IL  60637</font></i></div><div><i><font face="arial, helvetica, sans-serif">p:(773) 834-1757</font></i></div><div><i><font face="arial, helvetica, sans-serif">f: (773) 357-6970</font></i></div><div><b><i><a href="mailto:mmarre@ttic.edu" target="_blank"><font face="arial, helvetica, sans-serif">mmarre@ttic.edu</font></a></i></b></div></div></div></div></div></div></div></div></div></div>
</div>