Mod 2 Arithmetic and a proof that sqrt(2) is irrational | WFC 2

Going over mod 2 arithmetic.

This is part of a playlist explaining some software I wrote called WFC. You can play with WFC right now by running

$ telnet orangepill.healthcare 2363

(23 = w, 6 = f, 3 = c)

Currently WFC is primitive, and doesn't cover all of WF Algebra. But we will see that WFC is very extensible and powerful. It's open source (GitLab links below), so you can help improve it. In later videos I will go over the source code line-by-line, so anyone who is interested knows has some orientation for how the codebase works.

This, and the next few videos will talk about WF Algebra in some depth. WF Algebra was developed by Norman J. Wildberger. Wildberger calls WF Algebra "Algebra of Boole". Wildberger's playlist is linked below

Wildberger's playlist: https://www.youtube.com/playlist?list...
Revelations 14 (WF Algebra 1): https://gitlab.com/DoctorAjayKumar/re...
WFC GitLab: https://gitlab.com/DoctorAjayKumar/wfc/
WFCNet GitLab: https://gitlab.com/DoctorAjayKumar/wf...