EP 46 · 54:14

Computability and Turing machines

From America 250: The Breakthroughs That Built American Science — Part 1

Episode
50/85
Watch America 250: The Breakthroughs That Built American Science — Part 1
Transcript

55 words · auto-generated from the episode video

54:14Okay. Um they prove the existence of the formally undecidable problems. Meaning there are certain things that I can't just algorithm out. >> Right? >> Okay. This was a huge deal because it's telling you that there are limitations to what algorithms can do. Um, and it established really the mathematical foundation for computer science.

From the episode
  1. EP 46

    America 250: The Breakthroughs That Built American Science — Part 1

    Part one of our America 250 special traces the inventions, institutions, and scientific breakthroughs — from Franklin to Sputnik — that helped build the United States into a global scientific power.

    America 250: The Breakthroughs That Built American Science — Part 1

America 250History of Science