Uploaded May 2024 | Updated September 2026, 1 hour ago
Alan Turing, the father of modern computer science, once wondered if computers could decide every problem put before them. He came up with a simple logical contradiction that they shouwed they could not.
This is likely a vast oversimplification. Here's some more information:
https://courses.engr.illinois.edu/ece199/fa2012/notes/halting.pdf
https://www.cs.rochester.edu/u/nelson/courses/csc_173/computability/undecidable.html
And although I cannot share the video lectures, Dr. Kine's lectures provided much of my understanding of this problem.
As a final note, the last picture is of the USS Hopper, one of the few US warships to be named after a data scientist. (Grace Hopper was a rear admiral in the US Navy.)
Alan Turing, the father of modern computer science, once wondered if computers could decide every problem put before them. He came up with a simple logical contradiction that they shouwed they could not.
This is likely a vast oversimplification. Here's some more information:
https://courses.engr.illinois.edu/ece199/fa2012/notes/halting.pdf
https://www.cs.rochester.edu/u/nelson/courses/csc_173/computability/undecidable.html
And although I cannot share the video lectures, Dr. Kine's lectures provided much of my understanding of this problem.
As a final note, the last picture is of the USS Hopper, one of the few US warships to be named after a data scientist. (Grace Hopper was a rear admiral in the US Navy.)
