Artificial General Intelligence (AGI) Show with Soroush Pour cover image

Ep 11 - Technical alignment overview w/ Thomas Larsen (Director of Strategy, Center for AI Policy)

Artificial General Intelligence (AGI) Show with Soroush Pour

CHAPTER

Uncomputability and the Halting Problem

This chapter explores the concept of uncomputability in theoretical computer science, using the halting problem as an example. It discusses the limitations of running uncomputable programs on Turing machines and reflects on its relevance to artificial general intelligence (AGI) and agency.

00:00
Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner