00:00:00 Intro 00:01:40 Gab sucks, the projective points and lines duality structure 00:19:00 Recap of gcd algorithm 00:21:30 Implications of the Fundamental Theorem of Arithmetic 00:37:30 CS versus CIA Math versus Divine Intellect QAnal 00:39:30 My difference with Norman Wildberger: canonical forms 00:44:10 Example 1 00:47:20 Example 2 00:49:40 Example 3 00:50:40 Example 4 and order of functions [O(n) notation] 00:56:20 Formalizing the procedure, row data structure 00:59:00 Python code to solve example 4 01:01:00 Row arithmetic in Erlang 01:03:30 Bread and butter of math: making abstract data structures that encode procedures 01:04:40 The magic of rows is procedures that compose nicely 01:07:00 How I made this 01:09:40 Revisiting the Python code 01:10:10 ILCs are such a common idea that they're built into the syntax of Python 01:11:50 The CIA's language game: hidden context swaps 01:12:20 Basic matrix multiplication 01:19:00 EGCD in Erlang 01:24:00 Positive, Negative, HIV-Positive and HIV-Negative 01:41:30 The unexpected pattern
I forgot a main principle of concurrent/functional programming: any given piece of data lives in exactly one place.
So the set_routing stuff I did will probably have to be undone. I'm so happy
ophttpd GitLab: https://gitlab.com/DoctorAjayKumar/ophttpd/
texxx GitLab: https://gitlab.com/DoctorAjayKumar/texxx/
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/
Code:
"alternate angles equal to one another" -> Green = Pink
"exterior angle" -> Red
"exterior angle equal to the interior and opposite angle" -> Red = Pink
"sum of the interior angles on the same side" -> Pink + Blue = 180°
Arg 1:
- Suppose Green > Pink
- Then Green + Blue > Pink + Blue
- Green + Blue = 2 right angles because line
- Therefore Pink + Blue < 2 right angles
- By the parallel postulate, the two lines AB and CD meet in the pink/blue direction
- We assumed the lines were parallel
- Contradiction
- Therefore Green = Pink
Arg 2:
- Green = Red because vertical angles
- Therefore Red = Pink
- Red + Blue = Pink + Blue
- Red + Blue = 2 right angles because straight line
- Therefore Pink + Blue = 2 right angles
Parallel postulate: https://mathcs.clarku.edu/~djoyce/java/elements/bookI/post5.html
Element page: https://mathcs.clarku.edu/~djoyce/java/elements/bookI/propI29.html
GeoGebra: https://www.geogebra.org/m/squyduwp
Universal Hyperbolic Geometry: https://youtube.com/playlist?list=PLIljB45xT85CN9oJ4gYkuSQQhAtpIucuI
Euclid Elements playlist: https://odysee.com/@DoctorAjayKumar/ee
Greek Math playlist: https://odysee.com/@DoctorAjayKumar/GreekMath
Euclid Elements website: https://mathcs.clarku.edu/~djoyce/java/elements/
Where to find me:
BitChute: https://www.bitchute.com/doctorajaykumar/
Gab: https://gab.com/DoctorAjayKumar
GitLab: https://gitlab.com/DoctorAjayKumar
GeoGebra: https://www.geogebra.org/u/doctorajaykumar
Odysee (main): https://odysee.com/@DoctorAjayKumar
Odysee (podcast): https://odysee.com/@BigBlackCannon
Locals: https://orangepill.locals.com/
Minds: https://www.minds.com/doctorajaykumar/
Rumble (main): https://rumble.com/c/c-906055
Rumble (podcast): https://rumble.com/c/c-765395
Twitter: https://twitter.com/DoctorAjayKumar
YouTube: https://www.youtube.com/channel/UC3NOwTrjbil7yVghQgJ1mug
Website: http://orangepill.healthcare/
This is the climax of my "untying knots in linear algebra"/"wtf is the determinant" mini-series.This is the video I've been building up to. There's more I want to talk about before moving on in Artin. Also contains a bonus rant with a preview of what's to come.
Correction at 11:18: I should have made an edge going vertically down to the x-axis, and then another edge on the x-axis going back to the origin.
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=PLIljB45xT85CnIGIWb7tH1F_S2PyOC8rb
Revelations 14 (WF Algebra 1): https://gitlab.com/DoctorAjayKumar/rev00014_wfc
WFC GitLab: https://gitlab.com/DoctorAjayKumar/wfc/
WFCNet GitLab: https://gitlab.com/DoctorAjayKumar/wfcnet