<p>I correct what I said in the last episode about the author of the proof of FD from last episode based on intersection types.  I also describe AI flopping when I ask it a question about this.</p>

I correct what I said in the last episode about the author of the proof of FD from last episode based on intersection types. I also describe AI flopping when I ask it a question about this.

<p>I correct what I said in the last episode about the author of the proof of FD from last episode based on intersection types.&nbsp; I also describe AI flopping when I ask it a question about this.</p>

Correction: the Correct Author of the Proof from Last Episode, and an AI flop

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share Correction: the Correct Author of the Proof from Last Episode, and an AI flop

Sign up to save your podcasts

Correction: the Correct Author of the Proof from Last Episode, and an AI flop

Correction: the Correct Author of the Proof from Last Episode, and an AI flop

More shows like Iowa Type Theory Commute

Dwarkesh Podcast

Type Theory Forall