Name: An exciting, new, clean, mechanical, 100% unambiguous view of logic | WFC 1
Uploaded: 2021-08-03T16:44:57+00:00
Duration: 14 min 14 s
Description: First in a new playlist about some software I wrote called WFC. WFC is software I wrote that does elementary calculations in WF Algebra (the . You can play with it right now by running $ telnet orange

4 years ago

342

logic math erlang

First in a new playlist about some software I wrote called WFC. WFC is software I wrote that does elementary calculations in WF Algebra (the . You can play with it 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, so you can help improve it.

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=PLIljB45xT85CnIGIWb7tH1F_S2PyOC8rb
Revelations 14 (WF Algebra 1): https://gitlab.com/DoctorAjayKumar/rev00014_wfc/-/blob/master/frame.pdf
WFC GitLab: https://gitlab.com/DoctorAjayKumar/wfc/
WFCNet GitLab: https://gitlab.com/DoctorAjayKumar/wfcnet/

Loading comments...