This is a repost of a Substack post
If you don’t know, I have a series of “podcast length” mathematical documents that I call Revelations, which you can find on my GitLab. I’m composing a new one (Revelations 27) right now about WF Algebra, which is a mindblowing take on formal logic. I wrote out the introduction, and it fits well with what I’m doing here. So here you go.
If you’re curious about the formal logic language (WF Algebra), Craig Cannon and I did a stream where I explained it to him. Links at the bottom.
What is mathematics?
There’s two answers I’ve heard to this question that I’ve liked. The first was from my 10^{th} grade calculus teacher: math is the study of patterns.
The second I believe to be a quote from Michael Atiyah^{1}: math is the art of precise analogy.
If you asked me, I would give Atiyah’s answer.
If you ask an ordinary person, they will probably give one of the following answers (in different verbiage):

rote numerical calculations

weird outofcontext word problems

that weird algebra thing with all the letters

geometry
For instance, here’s a problem from the ACT’s practice exam for the math section:
Mathematics education in the US suffers from a system of perverse incentives. University admissions are mostly based on scores on standardized tests like the ACT. Actually, before I explain that, let me explain why the answer I chose is correct.
Most of the ACT questions are trick questions or weird word problems like that. The general solve procedure is as follows:

decipher the wordcel garbage and figure out what the actual math problem is

write the problem as a straightforward math problem

solve the straightforward math problem

pick the correct answer
Let’s go through those steps

decipher the wordcel garbage and figure out what the actual math problem is
It took me a few passes to read this. I annotated the image with my reading of the problem:
The key is to figure out which details pertain to mathematical structure, and which details are distractions. The vast majority of details are distractions.
It took me a couple of passes to notice the awkward phrase “a pump that pumps a minimum of” repeated. The word “minimum” is often mathematically significant, but the way it is used here it is not. Mentally you should group “a pump that pumps a minimum of” into the word “output”.
The word “deep” or “depth” is also a distraction, and can be replaced with “input”.
The unit of the input value is feet. The unit of the output value is gallons per minute. Trying to think too hard about the specific problem is a trap. Whether or not the units make sense is irrelevant. What matters is that the word “feet” will be attached to input values, and the phrase “gallons per minute” will be attached to output values.
The word “requires” is the only verb that matters in the entire problem. It is the infix operator in the logical expression, in the same way that + is the infix operator in the mathematical expression 2 + 3. 2 and 3 are called operands.
The operands are “D [feet]” and
(+ (/ (* D D) 25) (* 4 D) ( 250))
[gallons per minute]”(A common convention in physics is to put units in square brackets, helpful here).
What matters is that there is a functional relationship specified. Some output value depends on some input value, according to a very straightforward relationship.
Then later we’re given “150 [feet]” and asked to compute what that corresponds to in “[gallons per minute]”
We’re given an input value, and asked to compute the output value. We are also given the recipe for how to do that.

write the problem as a straightforward math problem
Here is the problem in math language (well Scheme because zx is gay and doesn’t have MathJax [I assume]):
(define (f D) (+ (/ (* D D) 25) (* 4 D) ( 250))) ; What is the result of (f 150)

solve the straightforward math problem
scheme@(guileuser)> (define (f D) (+ (/ (* D D) 25) (* 4 D) ( 250))) scheme@(guileuser)> (f 150) $1 = 1250

pick the correct answer
The answer is 1250, which is option (D)
As you can see, the actual mathematics involved is very simple: plug a number into a function. You might literally be able to train a monkey to do that. Almost all of the difficulty is in deciphering the ridiculous manner in which the problem is phrased. All that is required mathematically is that you can read standard mathematical notation and type things into a calculator.
This is a truly ridiculous situation: almost all of the difficulty in a “math” question has to do with deciphering intentionally confusing grammar, and almost none of the difficulty has to do with mathematical knowledge or correctly applying mathematical principles. This seems more fit for the English section of the ACT.
Why is this problem in the math section?
Well, because the ACT Math section is not really a math test. It’s an IQ test. Specifically, it’s attempting to disambiguate “spatial intelligence” and “verbal intelligence”. I’ll have a lot more to say about this later. I want to do a revelation walking through the logic of IQ. As far as I can tell, it’s pretty simple. There’s quite a lot to cover before we get to that. I gotta teach you a lot of geometry and a lot of linear algebra.
Standarditis
I promised I would explain the perverse incentive structure that leads to terrible math education and ridiculous ACT questions. Let me do that right now.
Every industry will eventually suffer from what I call standarditis. This is when it becomes more important to have an industry standard than to have a good industry standard. This tends to emerge when the cost of having no standard is far greater than the cost of having a bad standard. Shocking, I know.
A more accurate version is that everyone kind of ends up agreeing to some standard over time. And for newcomers, the cost of deviating from that standard is preposterous.
In the US, electrical outlets are standardized to 110 volts alternating current at 60 cycles per second. Is this the best standard? Probably not. But it’s the standard. That’s important. Can you imagine if a country had two incompatible power grids? That would be retarded.
The cost of having no standard is far greater than the cost of having a bad standard. And the cost (to say an appliance manufacturer) of deviating from the standard is that your appliance wouldn’t work when people plug it into the wall.
Is ObjectOriented Programming the best programming paradigm? No. It’s fucking stupid. But it’s the industry standard. It’s a terrible standard. But it’s the standard. The most popular languages are all objectoriented. The vast majority of employed programmers are paid to write objectoriented code.
It gets worse. If you’re a software company, you can attempt to buck the trend by writing your code in a nonOOP language. That’s often a superior technical decision. But you will find it almost impossible to find talent. It’s very difficult for oopers to unlearn OOP. You’re better off hiring people who have never written a single line of code ever, because their brain hasn’t been poisoned with OOP “design patterns”. So, from the perspective of the company, you can either accept the OOP technical overhead (which all of your competitors also suffer), or accept the human resources overhead (typically much larger).
Crucially, that HR overhead is convex. If your company becomes sufficiently large, you no longer have the capacity to judge potential employees as individuals. You have to pick an arbitrary standard and judge them against that standard. That becomes extremely difficult when you’re not following the same standard as everyone else.
The cost of having no standard is far greater than the cost of having a bad standard.
Usual disclaimers about broad generalizations apply. But, the programmer job market tends to demand interchangeable programmers with a more or less standardized set of skills.
So…it makes sense for CS departments to train their students in ObjectOriented Programming. The absolute best thing you can say about contemporary universities is that they are expensive trade schools. Universities long ago abandoned the Ciceronean idea of education as a means of sharpening the mind and creating the “ultimate individual.” There’s a lot more money to be made in whitecollar vocational training and communist indoctrination. Universities charge students outrageous quantities of money with the promise of delivering an uppermiddleclass income at the end of the rainbow. In order to pretend to meet this promise, everyone with a BS in Computer Science needs to be trained against the industry standard.
The software industry demands standardized inputs, and so the universities respond by standardizing their outputs.
Well guess what? The exact same incentive pattern that leads to standarditis applies to universities. A typical university will get tens of thousands of applications for potential incoming freshmen every year. It is simply not possible to judge 10,000 people as individuals.
So, what do we do? Well, we give them all an IQ test, and admit everyone above a certain threshold (plus or minus some race commie bs). IQ seems to predict university and professional success pretty well. At least nobody has managed to come up with a better metric.
That’s what the ACT is.
K12 schools need to produce standardized output, so they train students against the criteria for university admissions.
Of course, this entire system is ridiculous and filled with circular logic. It is premised on an absolute abandonment of the Ciceronean educational system. At a deeper level, this situation is the outcome of an abandonment of individualism. There’s a lot more I could say about this. I’ve probably already said too much.
Anyway, that’s why you have to spend 12 years of your life solving problems like this.
It’s too expensive to judge you as an individual, so everyone has agreed to judge you on your ability to solve that problem.
If it’s not clear: I hate this system and I want to destroy it. Luckily, we appear to be living through the greatest collapse in institutional credibility since Martin Luther. We have an opportunity to build new institutions that don’t suffer from the commoditization problem. I don’t know how to do that. I don’t know if it’s possible. But it’s definitely worth attempting.
Mathematics 1 and Mathematics 2
My specialty is math. I can see very clearly how this system of incentive structures has trashed mathematics education.
Every math major has the following experience:

is good at and enjoys ACTtype BS problems

majors in math so he can spend 4 years and $200,000 of his parents’ money solving ACTtype BS problems

discovers at some point that “math” is an entirely different subject from ACTtype BS problems

likes the new subject

graduates

has spent 4 years and $200,000 learning a largely useless subject that most people don’t even know exists

I guess I’ll go get a PHD?
I want to convince you that there is an entirely different subject that is also called “mathematics”. Let’s call it Mathematics 2. Mathematics 1 is horrible, ugly, confusing, and is intentionally designed to maximize human suffering. Mathematics 2 is simple, beautiful, full of wonder and mystery, and yet still makes an unbelievable amount of sense.
So, if you don’t mind, I want to take you on a tour and show you some of the wonder and joy of Mathematics 2.
Today, I want to walk you through The Logic of Logic.

I can’t find a source that says he said this.↩
WF Algebra stream links (6 parts; descriptions have timestamps with topics):
 https://rumble.com/vnt7imfirststepsinwfalgebramathafterdarkep2pt1siqaep0002cl001.html
 https://rumble.com/vnvp1esecondstepsinwfalgebrastartingwfccodereviewmathafterdarkep2pt.html
 https://rumble.com/vnvx7kqanonfatemopeopleandmorecodereviewmathafterdarkep2pt3siqa2..html
 https://rumble.com/vnvpnmcodereviewrewritebarriersandfakeprogrammersmathafterdarkep2pt4.html
 https://rumble.com/vnvptqerlanguberallesmathafterdarkep2pt5siqa2.5.html
 https://rumble.com/vnvq4kreflectingonthebeautyofwfalgebrafinishingupmathafterdarkep2pt.html