Logic Courses
Association for Computing Machinery (ACM) via YouTube Cryptography and Public Key Encryption - Martin Hellman Interview
Association for Computing Machinery (ACM) via YouTube Propositions as Types
Strange Loop Conference via YouTube Learning Automata with Hankel Matrices - Borja Balle, Amazon Research Cambridge
Alan Turing Institute via YouTube Learning Logically Defined Hypotheses - Martin Grohe, RWTH Aachen University
Alan Turing Institute via YouTube Recurrent Neural Networks and Models of Computation - Edward Grefenstette, DeepMind
Alan Turing Institute via YouTube Alan Turing and the Other Theory of Computing and Can a Machine Be Conscious?
Alan Turing Institute via YouTube Solving Impossible Puzzles - Math Logic and Games
Wondrium via YouTube Voting & the Electoral College - Logic, Riddles, & Paradoxes in Math and History
Wondrium via YouTube Breaking the Giants With Logic
BSidesLV via YouTube