Boolean Church Ep 0-1: Introduction to Church Boolean Lambda

TIMESTAMPS BELOW! :D

Hello! This came out a little weird but hopefully that's not a big deal. I didn't have a script for this, I might make a light point-by-point for the next video.

There's going to be an additional tutorial/introduction video next before we get into the thing I actually started this series to show off.

Note at 00:07:10 I mention showing a truth table and completely forget to show an actual truth table lmao. My bad.

00:07:10 - "Why is an AND gate called an AND gate?"
00:13:09 - "Why is an OR gate called an OR gate?"
00:16:26 - "What does λ do?"
00:19:27 - "Anatomy of a lambda expression (intro to what λ does)"
00:22:46 - neat trick in Paint3D
00:23:11 - anatomy of a single β-reduction step and explanation of associativity
00:49:55 - Why "FALSE" in Church Boolean is FALSE!
00:53:10 - Church Boolean AND gate explanation
00:57:50 - Cthuloid antics and why we don't engage in them

- This is a reupload from my YouTube Channel. My X account - https://x.com/RobBarberAuthor