
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