Hilbert's decision problem

Concept

A fundamental problem in mathematical logic, which Turing's work on computable numbers addressed, laying the groundwork for theoretical computer science.

Mentioned in 1 video

Videos Mentioning Hilbert's decision problem

Cal Newport: Deep Work, Focus, Productivity, Email, and Social Media | Lex Fridman Podcast #166

Cal Newport: Deep Work, Focus, Productivity, Email, and Social Media | Lex Fridman Podcast #166

Lex Fridman

A fundamental problem in mathematical logic, which Turing's work on computable numbers addressed, laying the groundwork for theoretical computer science.