Logical Reasoning Courses
Michael Penn via YouTube The Notorious Question Six - Cracked by Induction
Numberphile via YouTube SAT-Solving
Simons Institute via YouTube Better SMT Proofs for Certifying Compliance and Correctness
Institute for Pure & Applied Mathematics (IPAM) via YouTube Testing GPT-3's Ability to Solve Complex Riddles and Logical Problems
All About AI via YouTube Axiomatic Programming - From Euclidean Deductions to C++ Templates and Beyond
CppNow via YouTube Simulation and Indexical Function Individuation - Why the Diagonal Argument Does Not Establish the Impossibility of Machine Consciousness
Models of Consciousness Conferences via YouTube Inference Rules via the Algebra of Boole - MathFoundations 275
Insights into Mathematics via YouTube Puzzles with Measurement - Elementary Mathematics Explained - Lecture 25
Insights into Mathematics via YouTube Logical Reasoning with Tic-Tac-Toe - Elementary Mathematics Explained
Insights into Mathematics via YouTube