Robinson's Podcast cover image

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

Robinson's Podcast

00:00

The Problem With Translation in Natural Languages

If you're taking Hebrew to Aramaic or something, you could mechanically copy one thing over to the other because their letters are similar enough. But if you've got languages with any distance between them at all, natural languages, only certain sentences can be translated,. And usually you don't get a sentence. You get a paragraph. Because natural language words, they just are bundled together differently. This is true even of orinand. The trick is something like this. Look, you say something like John brushed his teeth and he got out of bed. In English there's a kind of implicit in English. There's a temporal linkage but we can cancel it in English. We can say something

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