Tech Talk: The Little Typer With Daniel Friedman and David Thrane Christiansen
CoRecursive: Coding Stories
00:00
Is There a Difference Between Two Plus Two and Four?
Two plus two and four are just the same as each other without any work needing to be done by the user. A in pi, you have a something called evidence. Is this related? So evidence, evidence is proge so why evidence is the reason why a thing is true. We wrote the book from the pective of someone doing intuitionistic logic. And if we're doing that style of logic, then it's not the case that everything is true or false. There are some things that we don't yet know whether are true or false,. You knowt there are open problems about which we just know tha they're not true and they're not false.
Transcript
Play full episode
