Robinson's Podcast cover image

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

Robinson's Podcast

00:00

The Importance of Artificial Language

An artificial language is something that looks like a public language. It's got syntax. It's meaningful. However, it's mathematically transparent. Now, of course, nothing is mathematically transparent because sometimes it takes a lot of work to show that something has properties. But the point is we stipulate with the syntax is in English, we don't have a clue. We and depending on the way you go here, you stipulate how the sentences are given their interpretations. So all that is mathematically given to you. This is the first artificial language. Computer languages, we have thousands of artificial languages now.

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