Robinson's Podcast cover image

75 - Jody Azzouni: Formal Languages, Proof, and the Foundations of Mathematics

Robinson's Podcast

00:00

How to Teach a Course Like This to People Who Might Not Have a Souper Mathematics Background

In a logic course, you almost spend no time on the semantics. I have to motivate Tarski's success as it were. How that happened and then talking about how do we get ontology out of this? So that that's kind of what's going on.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app