<div dir="ltr"><div style="font-family:Calibri,Arial,Helvetica,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif;font-size:large">******************************</span><span style="font-family:Arial,Helvetica,sans-serif;font-size:large">******************************</span><span style="font-family:Arial,Helvetica,sans-serif;font-size:large">**************************</span><b style="font-family:inherit;font-style:inherit;font-variant-ligatures:inherit;font-variant-caps:inherit;color:rgb(49,49,49);word-spacing:1px"><font size="4"><br></font></b></div><div style="font-family:Calibri,Arial,Helvetica,sans-serif"><b style="font-family:inherit;font-style:inherit;font-variant-ligatures:inherit;font-variant-caps:inherit;color:rgb(49,49,49);word-spacing:1px"><font size="4"><br></font></b></div><div style="font-family:Calibri,Arial,Helvetica,sans-serif"><b style="font-family:inherit;font-style:inherit;font-variant-ligatures:inherit;font-variant-caps:inherit;color:rgb(49,49,49);word-spacing:1px"><font size="4">Date</font></b><b style="font-family:inherit;font-style:inherit;font-variant-ligatures:inherit;font-variant-caps:inherit;font-size:1.13em;color:rgb(49,49,49);word-spacing:1px">:</b><span style="font-size:1.13em;color:rgb(49,49,49);word-spacing:1px"> </span><span style="color:rgb(49,49,49);word-spacing:1px"><font size="4">October 19, 2022</font></span><br></div><div><div style="margin:0px"><div style="margin:0px"><div style="margin:0px"><div style="margin:0px"><div style="margin:0px"><div style="color:rgb(32,31,30);font-family:Calibri,Arial,Helvetica,sans-serif;margin:0px"><div style="font-size:16px;margin:0px;color:rgb(49,49,49);word-spacing:1px"><font style="font-size:1.13em"><b>Time: </b>12:30pm CT</font></div><div style="font-size:16px;margin:0px;color:rgb(49,49,49);word-spacing:1px"><font style="font-size:1.13em"><b>Location: </b>JCL 298</font></div><div dir="auto" style="font-size:16px;margin:0px;color:rgb(49,49,49);word-spacing:1px"><b><font style="font-size:1.13em"><br></font></b></div><div dir="auto" style="margin:0px;color:rgb(49,49,49);word-spacing:1px"><font size="4"><b>Speaker: </b><a href="https://nmmull.github.io/" target="_blank"><font face="Arial">N</font>athan Mull</a></font></div><div dir="auto" style="font-size:16px;margin:0px;color:rgb(49,49,49);word-spacing:1px"><font size="4"><br></font></div></div><div style="margin:0px"><span style="color:rgb(49,49,49);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:16px;word-spacing:1px"><font style="font-size:1.13em"><b>Title: </b></font></span><b><font size="4">Girard’s Paradox: Impredicativity Rears its Ugly Head</font></b></div><div style="color:rgb(32,31,30);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:15px;margin:0px"><b style="color:rgb(49,49,49);font-size:16px;word-spacing:1px"><font style="font-size:1.13em"><br></font></b></div><div style="color:rgb(32,31,30);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:15px;margin:0px"><span style="margin:0px;font-size:16px;color:rgb(49,49,49);word-spacing:1px"><font style="font-size:1.13em"><b>Zoom: </b>[<a href="https://uchicago.zoom.us/j/93737897802?pwd=a3daMzd1OTNEKzBCbzZYZmNXR2h1QT09" target="_blank">link</a>]</font></span></div><div style="color:rgb(32,31,30);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:15px;margin:0px"><br></div><div style="margin:0px"><div dir="auto" style="margin:0px"><font style="word-spacing:1px"><span style="color:rgb(49,49,49);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:13pt;margin:0px"><b>Abstract:</b></span><span style="color:rgb(32,31,30);font-family:"trebuchet ms",sans-serif;font-size:12pt;margin:0px;word-spacing:0px"> </span></font><font size="4">Girard’s Paradox is often described as a type-theoretic analog of Russell’s paradox. In essence, it says that if you want to use your type theory as a logic, there can be no type of all types. But wait, didn’t type theory come to the rescue in the aftermath of Russell’s paradox? Though, come to think of it, if we can’t have a set of all sets, why would we think there could be a type of all types? And you’re telling me Girard’s paradox applies to systems without a type of all types? Also, what’s type theory? In this talk, I’ll try to address some of these questions.</font></div><div dir="auto" style="margin:0px"><font style="word-spacing:1px"><span style="margin:0px;word-spacing:0px"><font size="4"><br></font></span></font></div><div dir="auto" style="margin:0px"><font style="word-spacing:1px"><span style="margin:0px;word-spacing:0px"><span style="color:rgb(32,31,30);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:large">[</span><a href="https://urldefense.com/v3/__https://orecchia.net/event/theory-lunch/__;!!BpyFHLRN4TMTrA!pwdRh9yLA-IBD6NCNvREJGd9Nj5jtC6_N-AowF6HSwIQeb1FPAmu0L_tAswwp_F5nRs$" rel="noopener noreferrer" title="https://orecchia.net/event/theory-lunch/" style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:large;margin:0px" target="_blank"><span style="margin:0px"><span style="margin:0px"><span style="margin:0px"><span style="margin:0px"><span style="margin:0px">Theory</span></span></span></span></span> <span style="margin:0px"><span style="margin:0px"><span style="margin:0px"><span style="margin:0px">Lunch</span></span></span></span> Webpage</a><span style="color:rgb(32,31,30);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:large">]</span><br style="color:rgb(32,31,30);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:large"><span style="color:rgb(32,31,30);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:large">[</span><a href="https://urldefense.com/v3/__https://calendar.google.com/calendar/u/0/embed?src=c_osgf1c1qemdras8mu7l7pdhjrs@group.calendar.google.com&ctz=America*Chicago__;Lw!!BpyFHLRN4TMTrA!pwdRh9yLA-IBD6NCNvREJGd9Nj5jtC6_N-AowF6HSwIQeb1FPAmu0L_tAsww4XtIRnQ$" rel="noopener noreferrer" title="https://calendar.google.com/calendar/u/0/embed?src=c_osgf1c1qemdras8mu7l7pdhjrs@group.calendar.google.com&ctz=America/Chicago" style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:large;margin:0px" target="_blank"><span style="margin:0px"><span style="margin:0px"><span style="margin:0px"><span style="margin:0px"><span style="margin:0px"><span style="margin:0px"><span style="margin:0px">Theory</span></span></span></span></span></span></span><span style="margin:0px"> </span><span style="margin:0px"><span style="margin:0px"><span style="margin:0px"><span style="margin:0px"><span style="margin:0px">Lunch</span></span></span></span></span><span style="margin:0px"> </span>Calendar</a><span style="color:rgb(32,31,30);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:large">]</span></span></font></div><div dir="auto" style="margin:0px"><font style="word-spacing:1px"><span style="margin:0px;word-spacing:0px"><span style="color:rgb(32,31,30);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:large"><br></span></span></font></div><div dir="auto" style="margin:0px"><font style="word-spacing:1px"><span style="margin:0px;word-spacing:0px"><span style="font-size:large">******************************</span><span style="font-size:large">******************************</span><span style="font-size:large">**************************</span><span style="color:rgb(32,31,30);font-family:Calibri,Arial,Helvetica,sans-serif;font-size:large"><br></span></span></font></div></div></div></div></div></div></div></div></div>