The Joy of Why cover image

Can Computers Be Mathematicians?

The Joy of Why

00:00

How to Use Tactics in Mathematical Thinking

The tactics are higher powered arguments that one can use to make it more like your communicating with a smart undergraduate, rather than a rigid machine. It's given lean a bit of an edge when it comes to mathematics over the other theom ives thit's an interesting thing to so, the idea of the tactics, you say, makes it more comfortable for people who aren't necessarily ph ds in computer science or even computer kind of people. And yet, somehow it can then trans ye. You have to get down to the axioms, right? That's, that's the game wit. This thing at the end of the dlen starts just knowing theAxioms of

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