Intuitionistic Type Theory #1478

from Philosopher Friends Hosted by stay curious radio

🧩 What if logic was constructive? Enter a world where proof is existence, and mathematics gets a philosophical makeover grounded in intuition and computation.

Episode details come from the podcast's RSS feed.

Embed this episode

Attribution link and audio player

Ready to play

Intuitionistic Type Theory #1478

0:00 21:59

No transcript yet.

Requests help us decide what to transcribe next.

Share this episode

Similar podcasts

Never Alone Infertility Morgan and Madison Never Alone is a podcast for women navigating infertility, loss, and everything in between. We’re two friends whose paths intertwined during our own walks through infertility, and we understand how isolating and overwhelming the process can be. From the uncertainty of IVF to the heartache of miscarriage and the patience required in moments of waiting, we’re here for you.Join us each week as we have real and raw conversations about the challenges and emotions of walking through infertility and loss – both from our own experiences and speaking with other women. We’re glad you’re here, and hope you feel seen, supported and most of all know that you’re never alone.

Frequently asked questions

How long is this episode of Philosopher Friends?

This episode is 21 minutes long.

When was this Philosopher Friends episode published?

This episode was published on April 6, 2025.

Can I download this Philosopher Friends episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.