The Fundamental Theorem of Arithmetic | MFP 4

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

GeoGebra file: https://www.geogebra.org/m/rxt2segk
Code: https://gist.github.com/DoctorAjayKumar/1738854edcfa90dd626fe454f3cef1f0

MFP playlist: https://odysee.com/@DoctorAjayKumar/mfp
WFC playlist: https://odysee.com/@DoctorAjayKumar/wfc

Where to find me:

- BitChute: https://www.bitchute.com/doctorajaykumar/
- Gab: https://gab.com/DoctorAjayKumar
- GitLab: https://gitlab.com/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/