aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox

A Constructive Paradox
Become an Omega or Aleph Member on Youtube and help us keep this going! 🙏
youtube.com/@aboutlogic

Or you can buy us a coffee here:
buymeacoffee.com/aboutlogic

Further Reading & Resources:
Get the HoTT Book for free (no advertisement): homotopytypetheory.org/book
Thorsten Altenkirch: cs.nott.ac.uk/~psztxa
Deniz Sarikaya: denizsarikaya.de
Creative Production: Jan-Niklas Meyer: jammos.com

Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.