What is Computer Science? (Part 1: declarative knowledge)
This first video explores declarative vs. procedural knowledge through the lens of the Turing Test & Oracle machines. It’s intended to hook + ground the viewer in some basics before building towards Logic & Turing Machines. After this video we will dive deeper into procedural knowledge via. Algorithms. Then we’ll explore more history (arithmetic vs. formal logic) before building towards 20th Century ideas.