<div dir="ltr"><div class="gmail_quote gmail_quote_container"><div dir="ltr"><div dir="ltr"><div style="border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-variant-alternates:inherit;font-stretch:inherit;font-size:14pt;line-height:1.38;font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Calibri,Helvetica,sans-serif;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(36,36,36)"><span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">The Center for Philosophy of Science invites you to join us for our Lunch Time Talk .  Attend in person, room 1117 on the 11th floor of the Cathedral of Learning at the University of Pittsburgh or visit our live stream on YouTube at </span><span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:blue"><u><a title="https://www.youtube.com/channel/UCrRp47ZMXD7NXO3a9Gyh2sg" id="m_-9054822500193313408m_5508543158367019977gmail-OWAbe1a7189-9d93-e6b9-62e9-cf6c9dd44795" rel="noopener noreferrer" href="https://www.youtube.com/channel/UCrRp47ZMXD7NXO3a9Gyh2sg" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:blue" target="_blank">https://www.youtube.com/channel/UCrRp47ZMXD7NXO3a9Gyh2sg</a></u></span><span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:black">. </span></div><div style="border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-variant-alternates:inherit;font-stretch:inherit;font-size:15px;line-height:inherit;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(36,36,36)"></div><div style="border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-variant-alternates:inherit;font-stretch:inherit;font-size:15px;line-height:inherit;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(36,36,36)"></div><div style="border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-variant-alternates:inherit;font-stretch:inherit;font-size:14pt;line-height:inherit;font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Calibri,Helvetica,sans-serif;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(0,0,0);direction:ltr"><br></div><div style="border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-variant-alternates:inherit;font-stretch:inherit;font-size:14pt;line-height:inherit;font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Calibri,Helvetica,sans-serif;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(0,0,0);direction:ltr"><b>Lunch Time Talk - <u>Simon DeDeo</u></b></div><div style="border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-variant-alternates:inherit;font-stretch:inherit;font-size:14pt;line-height:inherit;font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Calibri,Helvetica,sans-serif;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(0,0,0);direction:ltr"><b><u><br></u></b></div><div style="border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-variant-alternates:inherit;font-stretch:inherit;font-size:14pt;line-height:inherit;font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Calibri,Helvetica,sans-serif;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(0,0,0);direction:ltr"><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14pt;line-height:inherit;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;direction:ltr"><b>Tuesday, January 21 @ 12:00 pm - 1:30 pm EDT</b></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14pt;line-height:inherit;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;direction:ltr"><span style="font-size:14pt;font-style:inherit;font-variant-ligatures:inherit;font-variant-caps:inherit;font-weight:inherit"><br></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14pt;line-height:inherit;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;direction:ltr"><span style="font-size:14pt;font-style:inherit;font-variant-ligatures:inherit;font-variant-caps:inherit;font-weight:inherit">To follow along via Zoom, use this link: </span><span style="font-size:inherit;font-style:inherit;font-variant:inherit;color:inherit;font-family:inherit;border:0px;font-weight:bolder;font-stretch:inherit;line-height:inherit;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline"><a id="m_-9054822500193313408m_5508543158367019977gmail-OWA831b14ee-c589-0e5f-38e6-cfd62a21f447" rel="noopener noreferrer" href="https://pitt.zoom.us/j/99250265423" title="https://pitt.zoom.us/j/99250265423" style="border-width:0px 0px 1px;border-top-style:initial;border-right-style:initial;border-bottom-style:solid;border-left-style:initial;border-top-color:initial;border-right-color:initial;border-bottom-color:currentcolor;border-left-color:initial;font:inherit;margin:0px;padding:0px;vertical-align:baseline;text-decoration-line:none" target="_blank">https://pitt.zoom.us/j/99250265423</a></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14pt;line-height:inherit;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;direction:ltr"><span style="border:0px;font-style:inherit;font-variant:inherit;font-weight:bolder;font-stretch:inherit;font-size:inherit;line-height:inherit;font-family:inherit;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit"><br></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14pt;line-height:1.418;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px 0px 10px;vertical-align:baseline;direction:ltr"><b>Title: Hard Proofs and Good Reasons</b></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14pt;line-height:1.418;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px 0px 10px;vertical-align:baseline"><b>Abstract:  </b>Practicing mathematicians often assume that mathematical claims, when they are true, have good reasons to be true. Such a state of affairs is “unreasonable”, in Wigner’s sense, because basic results in computational complexity suggest that there are a large number of theorems that have only exponentially-long proofs, and such proofs cannot serve as good reasons for the truths of what they establish. Either mathematicians are adept at encountering only the reasonable truths, or what mathematicians take to be good reasons do not always lead to equivalently good proofs. Both resolutions raise new problems: either how it is that we come to care about the reasonable truths before we have any inkling of how they might be proved, or why there should be good reasons, beyond those of deductive proof, for the truth of mathematical statements. Taking this dilemma seriously provides a new way to make sense of the unstable ontologies found in contemporary mathematics, and new ways to understand how proofs serve not only as certificates of truth, but as explanations and reasons-for.</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14pt;line-height:1.418;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px 0px 10px;vertical-align:baseline;color:inherit"><span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline">See associated preprint at </span><span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(0,86,172)"><a id="m_-9054822500193313408m_5508543158367019977gmail-OWAa9e9d3c3-777c-c1f6-5f04-adb8d0d0cf88" rel="noopener noreferrer" href="https://arxiv.org/abs/2410.18994" title="Original URL: https://arxiv.org/abs/2410.18994. Click or tap if you trust this link." style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(0,86,172)" target="_blank">https://arxiv.org/abs/2410.18994</a></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:14pt;line-height:1.418;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px 0px 10px;vertical-align:baseline"><br style="font-size:18.6667px"></div></div></div>
</div>
</div></div>