In this vulnerable impromptu session, Andrea examines the roots of discomfort she experiences trying to absorb mathematical jargon. Ray rethinks his approach, emphasizing that the true role of logic should be to bring us together rather than push us apart. LINKS * First-order logic - Wikipedia [https://en.wikipedia.org/wiki/First-order_logic] * Euclid's Proof that √2 is Irrational [https://www.mathsisfun.com/numbers/euclid-square-root-2-irrational.html] * Types of Reasoning [https://www.communicationtheory.org/types-of-reasoning-advantages-disadvantages-and-examples] * Legacy Code Rocks [https://legacycode.rocks/] community and podcast * Episode: Are GUIs Anti-social?! [https://www.empathyintech.com/are-guis-anti-social/] * Episode: They Called Me a Turnip! With Jeremy Adamson [https://www.empathyintech.com/they-called-me-a-turnip-with-jeremy-adamson/] * Video [https://www.youtube.com/watch?v=Zuc3FQ3uAN8] by Ray on First-order Logic using Z3 prover HOSTS * Andrea Goulet LinkedIn [https://www.linkedin.com/in/andreamgoulet] | andreagoulet.com [https://andreagoulet.com/] * Ray Myers LinkedIn [https://www.linkedin.com/in/cadrlife] | Craft vs Cruft on YouTube [https://www.youtube.com/@craftvscruft8060] ABOUT EMPATHY IN TECH Empathy in Tech is on a mission to accelerate the responsible adoption of empathy in the tech industry by: * Closing the empathy skills gap by treating empathy as a technical skill. * Teaching technical empathy through accessible, affordable, actionable training. * Building community and breaking down harmful stereotypes and tropes. * Promoting technical empathy for ethics, equity, and social justice. Learn more at empathyintech.com [https://empathyintech.com/]