The Truth & Justice Podcast is listener driven show, devoted to the pursuit of truth and justice. Host, Bob Ruff, investigates potential wrongful conviction and cold cases using a unique crowdsourcing approach. Bob invites listeners to participate in the investigations, as he breaks down a new case in each season in real time. Truth & Justice is currently producing a series titled "Reply Brief" where Bob is breaking down the episodes done by The Prosecutors podcast, about the Adnan Syed case.
…
continue reading
Content provided by MCMP Team. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by MCMP Team or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Similar to MCMP – Philosophy of Mathematics
Hosted by Negin Farsad, everyone's favorite Iranian American Muslim Comedian Podcast Host with Black Hair and Red Glasses, Fake the Nation is a comedy show that isn't afraid to talk about news, culture, and humanity’s weirdness. Every week Negin is joined by her funniest, smartest, and most politically astute friends. People like Samantha Bee, Neil deGrasse Tyson, Paula Poundstone, Margaret Cho, Larry Wilmore and others. They’ll make you laugh, think, and deliver a gut punch to the country w ...
…
continue reading
Listen to David Brooks and Jonathan Capehart analyze the political news of the week. Posted each Friday by 9 p.m., the Brooks and Capehart podcast includes the full audio of every on-air segment. Is this not what you're looking for? Don't miss our other podcasts for our full shows, individual segments, Politics Monday, Brief but Spectacular, and more. Find them in iTunes or in your favorite podcasting app. PBS NewsHour is supported by - https://www.pbs.org/newshour/about/funders
…
continue reading
The Zero Hour with RJ Eskow. "The Time is Now."
…
continue reading
Christina Pazsitzky and Tom Segura are comedians who are also married. They are the Mommies and they welcome you to join them. Dental updates! Dudes! Stories! Wiping!
…
continue reading
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
))
The Univalence Axiom
Archived series ("Inactive feed" status)
When?
This feed was archived on June 24, 2018 16:57 (
Why? Inactive feed status. Our servers were unable to retrieve a valid podcast feed for a sustained period.
What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.
Manage episode 199923891 series 91391
Content provided by MCMP Team. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by MCMP Team or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Colloquium Mathematical Philosophy, Steve Awodey (CMU) gives a talk at the MCMP Colloquium (16 July, 2014) titled "The Univalence Axiom". Abstract: In homotopy type theory, the Univalence Axiom is a new principle of reasoning which implies that isomorphic structures can be identified. I will explain this axiom and consider its background and consequences, both mathematical and philosophical.
…
continue reading
44 episodes
Share
Archived series ("Inactive feed" status)
When?
This feed was archived on June 24, 2018 16:57 (
Why? Inactive feed status. Our servers were unable to retrieve a valid podcast feed for a sustained period.
What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.
Manage episode 199923891 series 91391
Content provided by MCMP Team. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by MCMP Team or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Colloquium Mathematical Philosophy, Steve Awodey (CMU) gives a talk at the MCMP Colloquium (16 July, 2014) titled "The Univalence Axiom". Abstract: In homotopy type theory, the Univalence Axiom is a new principle of reasoning which implies that isomorphic structures can be identified. I will explain this axiom and consider its background and consequences, both mathematical and philosophical.
…
continue reading
44 episodes
All episodes
×
Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.
Similar to MCMP – Philosophy of Mathematics
The Truth & Justice Podcast is listener driven show, devoted to the pursuit of truth and justice. Host, Bob Ruff, investigates potential wrongful conviction and cold cases using a unique crowdsourcing approach. Bob invites listeners to participate in the investigations, as he breaks down a new case in each season in real time. Truth & Justice is currently producing a series titled "Reply Brief" where Bob is breaking down the episodes done by The Prosecutors podcast, about the Adnan Syed case.
…
continue reading
Hosted by Negin Farsad, everyone's favorite Iranian American Muslim Comedian Podcast Host with Black Hair and Red Glasses, Fake the Nation is a comedy show that isn't afraid to talk about news, culture, and humanity’s weirdness. Every week Negin is joined by her funniest, smartest, and most politically astute friends. People like Samantha Bee, Neil deGrasse Tyson, Paula Poundstone, Margaret Cho, Larry Wilmore and others. They’ll make you laugh, think, and deliver a gut punch to the country w ...
…
continue reading
Listen to David Brooks and Jonathan Capehart analyze the political news of the week. Posted each Friday by 9 p.m., the Brooks and Capehart podcast includes the full audio of every on-air segment. Is this not what you're looking for? Don't miss our other podcasts for our full shows, individual segments, Politics Monday, Brief but Spectacular, and more. Find them in iTunes or in your favorite podcasting app. PBS NewsHour is supported by - https://www.pbs.org/newshour/about/funders
…
continue reading
The Zero Hour with RJ Eskow. "The Time is Now."
…
continue reading
Christina Pazsitzky and Tom Segura are comedians who are also married. They are the Mommies and they welcome you to join them. Dental updates! Dudes! Stories! Wiping!
…
continue reading
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
