Counter-Revolutionary Puzzles with Guillermo Badia

Counter-Revolutionary Puzzles with Guillermo Badia

From New Books in Mathematics by Marshall Poe

May 11, 2026 · 33 min

About this episode

Pat speaks with Dr. Guillermo Badia about logic, murder mysteries, and the counter-revolutionary search for truth.

In this episode Pat speaks with Dr Guillermo Badia. Dr Guillermo Badia is a philosopher working in logic. His research interests are logic in computer science, semiring-based logics and models of computation, and modal, intuitionistic and other non-classical logics. They discuss logic, murder mysteries, and the counter revolutionary search for truth. A transcript of this episode will be available on the Concept : Art website here. Concept : Art is produced on muwinina Country, lutruwita Tasmania. Always was, always will be Aboriginal land. Learn more about your ad choices. Visit megaphone.fm/adchoices Support our show by becoming a premium member! https://newbooksnetwork.supportingcast.fm/mathematics

People in this episode

Host: Pat

Guest: Guillermo Badia

Topics covered

  • logic
  • computer science
  • semiring-based logics
  • non-classical logics
  • truth
  • murder mysteries

Keywords

  • logic
  • computer science
  • semiring
  • modal logics
  • intuitionistic logics
  • non-classical logics
  • truth
  • murder mysteries

Mentioned in this episode

Organizations: Concept : Art

Places: muwinina Country, lutruwita Tasmania

More episodes of New Books in Mathematics

Explore listener stats, chart rankings, contacts and more on the New Books in Mathematics podcast page.