Intuitionistic Type Theory #1478
Philosopher Friends - Un pódcast de Art Sun
Categorías:
🧩 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.
