DiscoverEngines of Our IngenuityThe Engines of Our Ingenuity 2502: Computer Proofs
The Engines of Our Ingenuity 2502: Computer Proofs

The Engines of Our Ingenuity 2502: Computer Proofs

Update: 2024-11-19
Share

Description

Episode: 2502 Computer assisted proofs: How machines extend our mind's reach.  Today, let's ask how computers help us see mathematical truths.
Comments 
Top Podcasts
The Best New Comedy Podcast Right Now – June 2024The Best News Podcast Right Now – June 2024The Best New Business Podcast Right Now – June 2024The Best New Sports Podcast Right Now – June 2024The Best New True Crime Podcast Right Now – June 2024The Best New Joe Rogan Experience Podcast Right Now – June 20The Best New Dan Bongino Show Podcast Right Now – June 20The Best New Mark Levin Podcast – June 2024
In Channel
The Engines of Our Ingenuity 2387: Plastics

The Engines of Our Ingenuity 2387: Plastics

2024-11-2103:50

The Engines of Our Ingenuity 1983: Inventing the Newspaper

The Engines of Our Ingenuity 1983: Inventing the Newspaper

2024-11-2004:03

The Engines of Our Ingenuity 2502: Computer Proofs

The Engines of Our Ingenuity 2502: Computer Proofs

2024-11-1904:04

The Engines of Our Ingenuity 1282: Window Glass

The Engines of Our Ingenuity 1282: Window Glass

2024-11-1804:11

The Engines of Our Ingenuity 1281: A Window on the Huguenots

The Engines of Our Ingenuity 1281: A Window on the Huguenots

2024-11-1704:11

The Engines of Our Ingenuity 1280: Visual Display of Information

The Engines of Our Ingenuity 1280: Visual Display of Information

2024-11-1603:55

The Engines of Our Ingenuity 1279: Kater’s Applied Mechanics

The Engines of Our Ingenuity 1279: Kater’s Applied Mechanics

2024-11-1504:09

The Engines of Our Ingenuity 2384: Sway

The Engines of Our Ingenuity 2384: Sway

2024-11-1404:20

The Engines of Our Ingenuity 2487: Von Neuman, Computers, and Brains

The Engines of Our Ingenuity 2487: Von Neuman, Computers, and Brains

2024-11-1304:24

The Engines of Our Ingenuity 2143: Emma Lazarus

The Engines of Our Ingenuity 2143: Emma Lazarus

2024-11-1203:54

The Engines of Our Ingenuity 1278: Quonset Huts

The Engines of Our Ingenuity 1278: Quonset Huts

2024-11-1103:58

The Engines of Our Ingenuity 1277: Railroads in Winter

The Engines of Our Ingenuity 1277: Railroads in Winter

2024-11-1003:58

The Engines of Our Ingenuity 1276: A Feast of Lights

The Engines of Our Ingenuity 1276: A Feast of Lights

2024-11-0903:52

The Engines of Our Ingenuity 1275: An Old Company Town

The Engines of Our Ingenuity 1275: An Old Company Town

2024-11-0804:11

The Engines of Our Ingenuity 2361: Cellulosic Ethanol

The Engines of Our Ingenuity 2361: Cellulosic Ethanol

2024-11-0704:21

The Engines of Our Ingenuity 2279: Babies in Sideshows

The Engines of Our Ingenuity 2279: Babies in Sideshows

2024-11-0604:06

The Engines of Our Ingenuity 2356: College Yiddish vs Living Hebrew

The Engines of Our Ingenuity 2356: College Yiddish vs Living Hebrew

2024-11-0504:21

The Engines of Our Ingenuity 1274: The Maxim Gorky

The Engines of Our Ingenuity 1274: The Maxim Gorky

2024-11-0403:52

The Engines of Our Ingenuity 1273: Science and Technology in 1852

The Engines of Our Ingenuity 1273: Science and Technology in 1852

2024-11-0304:09

The Engines of Our Ingenuity 1271: The Longest Race

The Engines of Our Ingenuity 1271: The Longest Race

2024-11-0203:55

loading
Google Play
Download from Google Play
Castbox
Download from App Store
usUnited States
00:00
00:00
x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

The Engines of Our Ingenuity 2502: Computer Proofs

The Engines of Our Ingenuity 2502: Computer Proofs

Dr. Krešimir Josić