104 Comments
User's avatar
Gary Doolittle's avatar

hopefully what you’re saying will be read by computer scientists, and mathematicians alike. I have found it interesting that so many people in computer science don’t see the connection between their neural networks and the brain and often warn people against making too much of that similarity. When indeed it is the opposite, we’re not using that similarity enough to understand our mind. Perhaps they’re just afraid to reduce our minds to that kind of mechanism. I think one mistake that so many people make when looking at this analogy as they forget that evolution has provided a pre-trained existing model in our brains. This 3 million years of pre-training has brought about the weights and connections in our brain that gives us a huge starting point compared to training a large language model from scratch. So when you think about the human mind, you can’t think that it operates with just the data that a child receives and compare that to the amountof data training atypical LLM, but rather the data that the species has been receiving for millions of years that went into building the current structure as well as the data streaming through the eyes of the newborn sensory system. I always look forward to your next post.

Nebu Pookins's avatar

> so many people in computer science don’t see the connection between their neural networks and the brain and often warn people against making too much of that similarity. When indeed it is the opposite, we’re not using that similarity enough to understand our mind.

For every piece of advice (e.g. "Don't make too much of the similarity between neural nets and human brains"), there exists people for whom it is more appropriate to adopt the opposite advice (e.g. "We're not using that similarity enough to understand our mind.")

See https://slatestarcodex.com/2013/06/09/all-debates-are-bravery-debates/ and https://slatestarcodex.com/2014/03/24/should-you-reverse-any-advice-you-hear/ for a deeper exploration on that idea.

I guess just statistically/empirically, computer scientists are more likely to receive questions from people who are trying to understand neural nets than from people who are trying to understand human brains. And I guess statistically/empirically, in this situation people tend to rely on their intuitions or previous knowledge or metaphors about human brains, and apply it to try to understand neural net. And I guess if they're asking about this to computer scientists, it's because they're having trouble understanding something and asking for clarifications.

Given all this selection-effect, this is why computer scientists probably err on the side of the "Don't make too much of the similarity between neural nets and human brains" advice. I don't think it's because computer scientists "don’t see the connection".

Benjamin Ssempala's avatar

Brilliantly said.

Susan C-P's avatar

I remember as a small child learning that our base 10 numbering system was not universal; that it was, in fact, completely arbitrary. This blew my mind and changed how I viewed mathematics. I enjoyed it and was good at it as long as the “why” behind it was evident (taught).

Periodically, I would get “stuck” on the ideas behind math rules, such as the concept and existence of zero. (See the terrific episode of the TV series about Young Sheldon—who goes on to win the Nobel Prize in Physics—on this, where he tries to teach his “delayed” young neighbor about zero and both he and his physics professors discuss how in the end we just have to pretend that the concept exists for math to work.)

Later I deduced, from teachers lacking in both imagination and the ability to teach the value of mathematics, that advanced math wasn’t for me. I can’t be the only person who was led, if you will, into functional innumeracy, in spite of loving Hofstader’s Gödel, Escher, Bach.

Your post here was helpful to me in understanding where and how I got stuck. I only wish I had read this at an early age. Instead, what I heard was, “Just trust me that this is true and real

and be sure to follow the rules strictly.”

That didn’t help once I realized that even our numbering system was arbitrary and made up. Also, there was a clear message that advanced math was a superior path to *all* others, and not really one for girls. Has this message changed much these days?

The parallel in reading and writing is that the arbitrariness is self-evident as soon as you are aware of other alphabets and languages. That, I could accept readily and see the reason and utility of. You are spot on that leavening the rules of math with some Marketing 101 would promote broader understanding. Thank you for being that promoter.

Sue Mosher's avatar

Count me as another person whose encounter with math in childhood leads me to nod vigorously at Bessis’ statement, “As an imaginary activity, math is a driver of neuroplasticity.” Numbering systems beyond Base 10 were just the gateway drug. Before I even graduated from high school, I was delving into non-Euclidean geometry and working through theorems to compare groups and loops.

For various reasons, including a boring summer job doing lab work, I pursued other career paths (broadcasting, desktop software), but I am still fascinated by whatever bits of math I encounter. As a spiritual teacher very interested in the formation of neural pathways, I often remind my community that the imaginal world is far larger than the physical world because it contains not only every past, present, and future thought about each aspect of the material world but also all thoughts about non-physical concepts — and thoughts about what we have not yet even imagined.

I like living in a universe that big.

Ashok Chowkulkar's avatar

Thanks for amplifying my thoughts. As a septuagenarian, I still faint when I hear some one saying 'Maths'.

Richard Fulmer's avatar

How about: Mathematics is the science of quantifying the universe and its phenomena in useful ways.

David Melville's avatar

That's physics and engineering. ;-)

St. Jerome Powell's avatar

Surely you must be joking that you have to be able to define a subject in order to teach it! Only a straw formalist could say such a thing—tell my one subject that has such a definition and I’ll resign my job immediately.

David Bessis's avatar

What about this: "Astronomy is a natural science that studies celestial objects and the phenomena that occur in the cosmos."

If someone doesn't get astronomy, you can point at the stars.

If someone doesn't get math, what do you point at? Cryptic equations with funky Greek letters? Could it be the reason why so many kids mistakenly believe that math is the study of cryptic equations with funky Greek letters?

Regarding your job search, feel free to use the comment section. I'm sure that readers will offer some help.

Davidicus's avatar

What’s wrong with just teaching the question? Letting the students’ curiosity and imagination churn as the brain flexes and forms? Looking back on my long ago youth, I could “do” math to get a grade or pass a test but as I progressed, the certainty surrounding it really put me off. The question is always an essential component of the “answer.”

Geoff Campbell's avatar

I am always having to keep from laughing...

'astrophysics and the chaotic universe' ...

clearly illustrated with 2D geometry and counting math!

right.

St. Jerome Powell's avatar

I don’t really understand the apparent claim that understand what the content of math is a blocker for younger students, either, though it’s more plausible for students at and a couple years beyond the calculus level—is that the level you’re interested in here? For the main mass of students, characteristic example is that many students in middle school, high school, and early college can’t handle fractions. Perhaps they’re not doing a good enough job of imagining combining 2/7 of a pie with 1/3 of a pie when adding, but I frankly doubt that’s relevant; I’d argue that conceptual understanding of foundational algorithms is built on top of practical facility with those algorithms moreso than the other way around. And anyway, I’m not sure how much students are losing energy mooning around about whether there really is a 2:7 floating out there in the Platonic realm.

David Bessis's avatar

I never said the issue was mostly with students not understanding what math is about. The issue is primarily with teachers not knowing it.

St. Jerome Powell's avatar

So you think that a major part of the problem with math education is that teachers are preoccupied with Platonism vs formalism? If I’ve read you right, I continue to vigorously disagree.

St. Jerome Powell's avatar

I don’t see any qualitative sense in which that’s a more satisfactory definition than something like “math is the formal study of shape and quantity” or any number of other evocative though partial partial definitions of mathematics. (Is general relativity part of astronomy? What about simulations of cosmoses that may or may not align with our own?) Your post’s point seems to be much more about the importance of imagination to the practice of mathematics than about anything to do with giving a final, satisfactory definition of mathematics, which seems to be a fool’s errand.

David Bessis's avatar

Look, if this was a satisfactory definition of math, there wouldn't be caveats in dictionaries and encyclopediae. You never find such remarks under astronomy.

St. Jerome Powell's avatar

Amusingly, that “no consensus” sentence is not in the English Wiki article on mathematics as I look now. So it seems there’s no consensus on whether there’s consensus! I don’t see anything like that in the first couple of dictionaries I check, either. Anyway I most certainly don’t claim it’s a satisfactory definition, just that it’s no less satisfactory than your suggestion for astronomy.

David Bessis's avatar

Sorry, but that's just too much bad faith for me, or too much laziness and stupidity.

Don't you know that modern computers allow you to search in a page? The sentence has simply been moved to a dedicated section in the article.

I'm quoting the passage below for your convenience, but this is my last reply to you. Go trolling someone else.

"There is no general consensus about the definition of mathematics or its epistemological status—that is, its place inside knowledge. A great many professional mathematicians take no interest in a definition of mathematics, or consider it undefinable. There is not even consensus on whether mathematics is an art or a science."

Jop Lee's avatar

I believe the point of the author concerning his statement of a definitive mathematical identity, is that we teach it with confidence as the sheer structural foundation of reality, while apparently there is plenty of ambiguity in this regard. It is this professed confidence that he fairly questions. Dear Jerome, to any who know the human mind, you are clearly having a petulant and narcissistic ego trip, needlessly foregoing principled conduct unto a man who has done nothing to deserve such. Clear up your act and behave like an adult.

St. Jerome Powell's avatar

Excuse me, who do you think you are?

Robert Shaw's avatar

Had you considered call math an "abstract activity"?

Although not as provocative as imaginary, abstract expresses the idea that math drops some details of reality to convey an aspect of reality.

Nicholas Moore's avatar

This is brilliant David, thank you for summarising it so neatly.

The difficult part for me is always knowing which mathematics tools are needed to describe the concepts (especially when the concepts that need describing are incredibly complex and self-interacting, as in quantum gravity) — in this sense, learning new maths is like learning new vocabulary, and (just as with language) the more advanced the concept, the more technical the vocabulary you must learn.

Ashok Chowkulkar's avatar

Thanks! I have been saying this since I was 4 years old, and instead of listening to me I was punished in the class. Always.

Everything-Optimizer's avatar

I don't think your perspective is that far removed from the mathematics as embedded a priori cognition "philosophy". Kant's arithmetic as the processing of time and geometry of space is one of his few cases of a priori reason. Personally I found "Where Mathematics Comes From" by Lakoff and Nunez to be very insightful in presenting mathematics as based on the thought exercises of analogies applied to fundamental cognitive structures.

A fun philosophy is of Badiou (e.g. Being and Event): that mathematics IS ontology. When one does math one thinks or communicates reality. This can be presented as credible relative to the cultural and context contingent signifiers-chasing-each-other language games.

MG's avatar

It's rational pattern-finding.

Armen Astarian's avatar

What I always found interesting is less so how proofs can be true, but rather how it is possible that a mathematician can write an incorrect proof, despite being certain of its truth while doing so. It seems to me that "truth" and "falsehood" are learned as qualitative experiential states (feelings), and appear in whatever Bayesian process that thinking is — which from a phenomenological perspective appears as a flow of states of experience with subtle differences in felt quality.

If it is the case that we can be wrong about a proof, how could it be that the mathematics exists only in our brain?

Let's say that all people on Earth vanished tomorrow except for one infant, who will be raised by a robot to learn English and nothing else. This infant will then be able to learn mathematics through reading textbooks — written in English — enitirely on their own — and write some proofs.

If this is the case, then the textbooks somehow encode enough information about the correctness of mathematics in a way which must be independent of the brain.

I think mathematical relationships, then, are a special case of semantic relationships, which are possible relationships between states of felt experience — and so they must be "out there", because, in part, they come to define the space of possible relationships between states of experience, not for brains but conscious beings in general: whatever physical substrate they may take.

I enjoyed the article. Any thoughts on this take — this may be a different kind of "out there" than what Platonists posit.

David Bessis's avatar

The thing is mathematicians rarely make *unfixable* mistakes in their proofs. https://davidbessis.substack.com/p/the-curious-case-of-broken-theorems

John Marsh's avatar

From what I know of mathematics, at the higher levels, it is almost indistinguishable from the study of the application of logic. Given that, what do you think of the conception that logic, and therefore mathematics, are real in that they really describe real relations, though they are not real objects? That is, 1 + 1 in external reality equals 2. In that way, mathematics would not be arbitrary, but rather descriptive of how certain objects and ideas must relate. There is no ideal of “1,” but one can be and is a genuine description of quantity, which is an actual property.

David Bessis's avatar

The issue runs deeper than that and there is no easy fix. What is a "real relation" or an "actual property"? Formal logic is concerned with formal syntactic systems, while the meaning we project onto them is a cognitive phenomenon (= something that takes place in your brain.) Hence the difficulty to rigidify the articulation between these two realms.

When you write that "there is no ideal of “1,” but one can be and is a genuine description of quantity, which is an actual property", it feels like you're trying to avoid Platonism in the first part of your sentence, but fall back into it right afterwards.

For more details, you can check my two other pieces on the Platonism vs formalism debate:

https://davidbessis.substack.com/p/the-real-mathematics-is-the-one-that

https://davidbessis.substack.com/p/the-curious-case-of-broken-theorems

Pierre Baume's avatar

Is it the case that a lot of mathematics is done while awake in the middle of the night or in a similar state of mind?

Jop Lee's avatar

Thank you for the fascinating read. I only just begun my educational experience, having to start later in life, so I might be very out of place composing a contemplative comment here. I apologise should I misapply concepts!

From my brief exposure to Platonism and Formalism in your fine essay, Platonism seems ontological in nature. I see truth in both Platonism and Formalism. A universe of shifting values exists, as waves within the quantum substrate are ineluctably forced to relate to one-another. They form value-relationships, but these do not necessarily exist as numbers. Here Formalism arises and offers a set of interpretive symbols subjective to the human mind, permitting a human-ontological interface. We could propose the numbers are subjective in form but they measure something substantial. A colour-oriented species may have used a gradient-interface rather than our abstract numbers. We could suggest the same with audio.

Quantum physics indicates that the universe operates on a fundamental level of energy and fields rather than just solid matter. This perspective suggests that what we perceive as material is actually a manifestation of underlying energetic interactions. I suppose I may assert we consist of such energetic interactions. Therefore I indeed wonder if numeral behaviour is indeed not a form of interoceptive awareness, in which we cognise quantum-energetic behaviours and hence procure a Platonic experience, even though our practice is Formalist. For instance, the irrational number may well be an observation of intrinsic primal chaos of the formative universe radiating out into expanding space, while the conceived rational number is an observation of cosmic stability.

BingBong's avatar

Not sure the main thrust here is all that controversial. In fact, I’d say the popularity of “The Unreasonable Effectiveness of Mathematics in the Natural Sciences” is testament to this: people have an intuitive sense that mathematics is imaginary and are indeed surprised that it happens to work so well in modeling the behavior of things in the real world.

Mark Young's avatar

I wouldn't say that mathematics is an "imaginary" activity. Beaming down to the planet is an imaginary activity -- an activity done only in people's imaginations. "Imaginative" would be a better word in my idiolect; tho' "imaginary" is better for the purpose of generating clicks.

David Bessis's avatar

Thanks for your comment!

I'm on the fence on this, probably because I'm accustomed to using "imaginary" for things that are no less "real" than other things (imaginary numbers vs real numbers).

"imaginative" is indeed more accurate from a certain perspective, which you rightfully document, but it's also misleading because it kind of assume some degree of creativity/talent that make the term more elitist than what I mean (my dictionary defines it as "having or showing creativity or inventiveness")

I don't perceive the same negative undertones as you do in "imaginary"—I view imagination as a noble activity.

I hesitating for a while after reading your comment, but I'm going to stick for now with "imaginary" (I might change my mind in the future)

Doug S.'s avatar

Paul Graham said that the best definition of mathematics that he could think of was "Mathematics is the study of precisely defined terms"...