🧩 What if logic was constructive? Enter a world where proof is existence, and mathematics gets a philosophical makeover grounded in intuition and computation.<hr> Hosted on Acast. See <a style='color:grey;' target='_blank' rel='noopener noreferrer' href='https://acast.com/privacy'>acast.com/privacy</a> for more information.

🧩 What if logic was constructive? Enter a world where proof is existence, and mathematics gets a philosophical makeover grounded in intuition and computation. Hosted on Acast. See acast.com/privacy for more information.

🧩 What if logic was constructive? Enter a world where proof is existence, and mathematics gets a philosophical makeover grounded in intuition and computation. Hosted on Acast. See <a href="https://acast.com/privacy" rel="noopener noreferrer">acast.com/privacy</a> for more information.

Share Intuitionistic Type Theory #1478

Sign up to save your podcasts

Intuitionistic Type Theory #1478

Intuitionistic Type Theory #1478

More shows like Philosophy

Philosophy Bites

Entitled Opinions (about Life and Literature)

The Ezra Klein Show