Robinson's Podcast cover image

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

Robinson's Podcast

00:00

The Differences Between Formal and Natural Language Proofs

In a formal language everything is designed. It's very rigorously laid out and defined so we understand the connection between the language on the one hand and the models on the other. You don't have that in natural language. Or rather you have it only with little small pieces of it. The main important thing is that informal proofs you've got a mechanical recognition procedure for recognizing the Proofs, which are checkable by a computer. So there's nothing empirical here. Right.

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