The 'Truth Machine' That Is Changing Math
Failed to add items
Sorry, we are unable to add the item because your shopping cart is already at capacity.
Add to basket failed.
Please try again later
Add to wishlist failed.
Please try again later
Remove from wishlist failed.
Please try again later
Adding to library failed
Please try again
Follow podcast failed
Unfollow podcast failed
The 'Truth Machine' That Is Changing Math
-
Narrated by:
-
By:
The groundbreaking proof assistant Lean acts as a sort of automatic quality control. It’s gaining ground in the math world — in part because it can interact with AI to open new avenues of inquiry. But there are concerns, too. On this episode of The Quanta Podcast, host Samir Patel speaks with author Kevin Harnett about his new book, the first release from Quanta Books, “The Proof in the Code.” It was featured in a recent excerpt for Quanta Magazine.
Each week on The Quanta Podcast, Quanta Magazine editor in chief Samir Patel speaks with the people behind the award-winning publication to navigate through some of the most important and mind-expanding questions in science and math.
adbl_web_anon_alc_button_suppression_t1
No reviews yet