In Our Time cover image

Logic

In Our Time

00:00

The Importance of Variables

Fraga used variables x's and y's to express propositions of arbitrary complexity. Bertrand Russell pointed out that a particular proposition can be expressed within Fraga's logic turns out to produce a contradiction. He wrote in 1902 to Fraga saying, here's this contradiction I've found. And clearly, if what you're trying to do is to build mathematics on the foundation of logic, the last thing you want to find is a contradiction in your system of logic.

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