Engines Podcast
Engines of Our Ingenuity 2502: Computer Proofs
Posted on · Episode: 2502 Computer assisted proofs: How machines extend our mind’s reach. Today, let’s ask how computers help us see mathematical truths.
Engines Podcast
Engines of Our Ingenuity 2487: Von Neumann, Computers and Brains
Posted on · Episode: 2487 John von Neumann’s ideas on the similarities and differences of computers and brains. Today, UH math professor Krešo Josić talks about brains, computers and John von Neumann.
Engines Podcast
Engines of Our Ingenuity 3203: The Shape of Proteins
Posted on · Episode: 3203 The Shape of Proteins. Today, let’s talk about the shape of proteins.
Engines Podcast
Engines of Our Ingenuity 3139: Maryam Mirzakhani
Posted on · Episode: 3139 Maryam Mirzakhani: A life in Mathematics. Today, let’s talk about the Iranian-American mathematician Maryam Mirzakhani.
Engines Podcast
Engines of Our Ingenuity 3109: Aumann’s Theorem
Posted on · Episode: 3109 Mathematics says that we should never disagree, but we still do. Today, let’s talk about what I know that you know.
Engines Podcast
Engines of Our Ingenuity 3107: Expectations of Brilliance
Posted on · Episode: 3107 Why it matters that we expect boys to brilliant and girls to work hard. Today, let’s talk about who we expect to be brilliant.