First steps in WF Algebra | Math After Dark Ep 2 Pt 1 [SIQA_2.1]

3 years ago
89

00:00:00 Getting Set Up
00:08:40 The Epidemic of Fake Programmers
00:13:24 Starting to Read the PDF
00:15:32 Filipino Lawnmower Chicken
00:18:06 Getting Started Again
00:19:50 Abstraction is not a problem in math, but infinite processes are
00:28:20 Why QAnal is a good idea
00:31:10 Concurrency is the most important reasoning tool missing from mathematics
00:32:30 Why Craig loves The Founder, and why humor works
00:33:50 Shared insight is the root of humor
00:34:39 Why it's called WF Algebra
00:36:35 Craig's affirmations
00:38:03 The primitives of set theory and of Boolean algebra
00:55:15 Why xor is better than ior
01:30:46 Terry A. Davis was the smartest programmer who ever lived
01:34:42 Writing connectives using WF algebra
02:14:30 Break

Where to find me:

- BitChute: https://www.bitchute.com/doctorajaykumar/
- Gab: https://gab.com/DoctorAjayKumar
- GitLab: https://gitlab.com/DoctorAjayKumar
- Odysee: https://odysee.com/@DoctorAjayKumar
- Locals: https://orangepill.locals.com/
- Minds: https://www.minds.com/doctorajaykumar/
- Rumble (Craig Cannon Clips): https://rumble.com/c/c-765395
- Rumble (Dr. Ajay Kumar PHD): https://rumble.com/c/c-906055
- Twitter: https://twitter.com/DoctorAjayKumar
- YouTube: https://www.youtube.com/channel/UC3NOwTrjbil7yVghQgJ1mug
- Website: https://orangepill.healthcare/

Where to find Craig:

- BitChute: https://www.bitchute.com/zxq9/
- Gab: https://gab.com/zxq9
- Minds: https://www.minds.com/bigblackcannon/
- Minds: https://www.minds.com/zxq9/
- Rumble: https://rumble.com/c/c-619215
- Website: http://zxq9.com/

Loading comments...