The Importance of Mechanical Algorithms

There are a body of little algorithmic systems, little mechanical systems that you manipulate. So there'll be some result where you'll say, oh, this group is the same as that group. And to prove it, you actually do a brute calculation. That's angorithmic system. You're manipulating, as it were, almost tokens. There's another way in which this comes up. You write down a bunch of axioms in an informal idiom and get results like zero is a number.

Transcript

Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!

Get the app