An open inquiry into how we think

Mathematical
Thought Theory.

Mathematics is our starting point, not our boundary.
An attempt to understand, develop, and teach the art of thinking, beyond any one subject.

Different forms, shared relationshipsA geometric illustration of connected points, circles, and a repeated triangular structure. abc
Different forms. Shared relationships.
Patterns · Structures · Assumptions · PossibilitiesA developing idea, open to revision
The reason for this project

I want students in every field to have the chance to study how we think—to find patterns, question assumptions, and discover new ways to understand a problem.

Explore this page
01

The question that started it all

What does it really mean to be good at mathematics?

Is it knowing a large number of topics, theorems, and techniques? Is it solving complicated problems? Is it doing research? Or is there something more fundamental behind all of these?

Mathematics is an enormous subject. No one can know all of it. Someone may be strong in algebra and know very little topology. Someone else may love geometry and never have touched number theory. Does not knowing a topic make a person less capable of thinking mathematically?

Now imagine a person who knows few mathematical theories, but who has an extraordinary ability to notice patterns, question assumptions, build arguments, find relationships, and make progress on problems they have never seen before. How should we understand that ability?

Of course, mathematical knowledge and mathematical thinking are deeply connected. Knowledge gives us the concepts and tools to reason with. But knowing more mathematics and thinking better are not exactly the same thing.

What if we could study the thinking that goes into mathematics, without making the mathematical topics themselves our main goal?

And more importantly, why should these ways of thinking belong only to students of mathematics?

That is where Mathematical Thought Theory begins.

02

What is MTT?

Mathematical Thought Theory, or MTT, is the working name for a developing framework that tries to understand and cultivate a few fundamental processes of thinking: abstraction, structural recognition, pattern discovery, logical reasoning, conceptual construction, generalization, identifying invariants, transforming problems, and examining the assumptions beneath them.

Instead of asking only what is the solution?, MTT asks:

  • How should I understand this problem in the first place?
  • What is the underlying structure?
  • What assumptions am I making?
  • What stays unchanged?
  • Can I represent the problem differently?
  • Can something complicated be understood through a few fundamental elements?
  • Can I extend the structure, restrict it, or look inside one of its substructures?
  • And how do I construct a solution, instead of only recognizing a technique I already learned?

These questions are familiar in mathematics. But nothing about them requires us to keep them inside mathematics.

03

Understanding through relationships

Understanding something new through something familiar

We already understand certain structures. When we meet something unfamiliar, we try to connect its parts and relationships to something we know. A new situation can become easier to understand when we recognise a familiar pattern beneath it.

How much of understanding comes from recognising a familiar structure in a new setting?

In mathematics, an isomorphism is an exact correspondence that preserves the relevant structure. In ordinary understanding, the connection may be only partial. It may be an analogy or a model, rather than an exact isomorphism. I want to investigate what the two situations share, which relationships carry over, and where the comparison fails.

When I say that I understand something, what relationship have I discovered between the unfamiliar and the familiar?

A signal can become a language

Imagine two people who can signal to each other with flashes of light. If they agree on distinguishable signals and rules for reading them, they can use those signals to represent messages.

A simple on/off scheme can represent two states. But the states alone are not enough. The two people also need an agreed code and a way to tell where one signal or message ends and another begins. What interests me is how a small set of signals, together with rules, can carry something much more complicated. And what was the core reason it worked and can we use that to make another system using some other objects.

This is the kind of observation I want students to make. What are the basic elements? What rules connect them? What becomes possible when those rules are understood?

The parts matter. So do their relationships.

People, plants, rocks, and many other things around us are made of atoms. Yet they behave very differently. The kinds and numbers of atoms matter, but so do their arrangement, their bonds, and the ways they interact.

Even the same kind of atom can form very different structures. Diamond and graphite are both forms of carbon, but their atoms are arranged and bonded differently. Listing the parts does not fully explain the whole.

I see a related lesson in mathematics. To understand a mathematical object, it is often essential to understand its operations and relationships. The underlying set is only part of the story. If you have studied Homeomorphisms, Homomorphisms/Isomorphisms, Linear Transformations you may get this point easily.

Finding a structure that helps us reason

Noether’s theorem connects symmetry with conservation under specific mathematical conditions. What interests me is the intellectual step: how does someone recognise that a symmetry reveals something about how a system behaves?

Quantum mechanics raises a similar question. Linear algebra gives us a language of states, operators, and relationships in which many quantum problems can be studied. This is not a complete account of how quantum theory developed. It is an example of the question I keep returning to: how do we find a mathematical structure that makes an unfamiliar phenomenon easier to investigate?

04

Know the structure before you use it

One of the most basic habits in mathematics is to ask: what structure am I working in?

In ordinary integer arithmetic, 3 + 4 = 7. Working modulo 5, we write 3 + 4 ≡ 2 (mod 5). We are keeping track of remainders after division by 5. The rules we are working with matter.

You already know this from a 12-hour clock. Five hours after 9 o’clock, the clock shows 2. We do not find this strange. We know that we are reading a clock, where the numbers wrap around after 12. The arithmetic follows the structure.

If an object is a group, we can use everything the group axioms guarantee. But we cannot quietly assume it is also a ring. An object can have several structures at once (the integers form a group under addition and a ring under addition and multiplication), but we cannot expect a property from a structure unless it follows from our assumptions or has been established separately.

In mathematics we are careful about this. We name the set, the operations, and the axioms before applying any result. Yet outside mathematics, we rarely pay the same attention to the assumptions and structures under which we reason. So:

Before trying to solve a problem, shouldn't we first understand the structure it lives in?
In the integers3 + 4 = 7
Modulo five3 + 4 ≡ 2

When we change the assumptions

For a long time, mathematicians tried to prove the parallel postulate from the other assumptions of Euclidean geometry. Exploring alternatives led to non-Euclidean geometries. Changing an assumption did not mean that geometry had to collapse. It meant that a different framework could be studied.

A sphere gives us another way to see why the setting matters. If the sides of a triangle follow great circles, we can draw a triangle from the North Pole to two points on the equator that are a quarter-turn apart. All three angles are right angles. They add up to 270°, not 180°. This is geometry on a curved surface, not the Euclidean plane.

The lesson is not that the old geometry was wrong. It is that every conclusion belongs to a framework, and changing the framework changes what is true inside it.

05

A thought about life and decisions

Suppose someone is facing a hard decision and asks, what should I do? Before offering a solution, perhaps we should ask: under what conditions do you want this problem solved?

Say they want an unconventional career. If they want a solution that strictly follows the expectations of family and society, those expectations become hard constraints. If they are willing to negotiate some expectations, the possibilities change. If they want to look at the problem without treating those expectations as binding, they change again. The situation is the same. The framework is different.

Here is a simpler version. Someone is choosing between two job offers. They compare salaries and feel stuck. But the real question may be: what am I actually optimizing for? Money, learning, location, time with family? Until that is clear, no comparison can settle the matter.

Of course, life is not literally a mathematical structure. Decisions involve emotions, relationships, ethics, and uncertainty that cannot be reduced to equations. And removing a constraint does not automatically give a better decision. But the habit of thought is still useful:

Recognize the framework before judging the solution, and question the framework when necessary.

Many of the assumptions we live by were never consciously chosen. They came from our surroundings, upbringing, and the expectations of others. We may judge ourselves successful or unsuccessful by standards we have never examined. Sometimes it is not enough to reason within a structure. We must learn to reason about the structure itself.

06

Generating more from less

Another idea I find fascinating is that large, complicated systems can often be understood through a few fundamental elements and a few allowed operations.

In a finite-dimensional vector space, a basis lets us express every vector as a linear combination of a fixed set of independent vectors. In group theory, a generating set lets us build every group element using the group operation and inverses. Not every structure has a finite basis or generating set. The exact meaning depends on the structure.

In number theory, every integer greater than 1 is a product of prime numbers. There are infinitely many primes, so the building blocks are not a finite set. Still, each individual integer has a finite prime factorization. The interesting habit is to look for basic elements and understand how they combine.

The same instinct shows up elsewhere:

  • Biology: DNA sequences use four main chemical letters. Their order carries genetic information, although living things also depend on how genes are regulated and how organisms interact with their environments.
  • Light and screens: a display combines red, green, and blue light in different amounts to produce a wide range of colours. It cannot reproduce every colour we can see.
  • Language: a limited alphabet, together with rules and shared meanings, can support an enormous variety of expressions. Not every combination of letters is meaningful.
  • Medicine: as an example of systems thinking, consider how symptoms, causes, treatments, and constraints relate. Treating each part in isolation may miss the bigger picture. This is an analogy about reasoning, not a rule for choosing treatment.
  • Computer science and engineering: complex systems are built from simple operations and reusable parts.

These are different systems with different rules, and the same theorem does not carry over automatically. But we can recognize a shared tendency: searching for underlying elements, relationships, and operations that make complexity understandable.

07

What stays the same?

8 × 8 squares · two opposite corners removed

Try a different way of seeing

62 squares.
31 dominoes.
Can they fit?

Each domino must cover two squares that share an edge. No overlaps. No gaps.

What would you count before trying to place a domino?

See why it cannot be done

Every domino covers one dark square and one light square. The complete board has 32 of each. The two opposite corners have the same colour, so removing them leaves 30 of one colour and 32 of the other.

But 31 dominoes would need 31 squares of each colour. No arrangement can change that. The difference between the two colour counts stays unchanged whenever we remove a domino-sized pair.

We found a reason, without testing every arrangement.

Changing the picture

In the city of Königsberg, people wondered whether one could walk across all seven bridges exactly once. Euler's insight was to stop looking at the city and draw only a graph: landmasses as points, bridges as lines. Suddenly the question became one about the number of lines meeting at each point, and the answer followed.

A change of representation can make an impossible-looking problem manageable. The same is true of numbers themselves. Multiplying in Roman numerals is painful. In our positional system, it is routine. The numbers did not change. Our representation did.

Symmetry in physics

Emmy Noether’s theorem connects continuous symmetries of a physical system’s action with conservation laws, under the appropriate mathematical conditions. Time-translation symmetry is linked to conservation of energy, and space-translation symmetry to conservation of momentum. Here, the action is a mathematical quantity describing the system’s motion. The connection is precise: not every similarity or kind of symmetry gives a conservation law.

08

Thinking beyond mathematics

The same habits appear, in different forms, across many fields:

  • Computer science: why do computers use binary? Circuits can reliably tell two states apart, and from those states plus logic, enormous systems are built. The real question is: how do we find a representation that makes a complicated problem manageable?
  • Biology: when studying how a disease spreads, tracking every individual contact may be impractical. We can choose relevant factors, such as transmission, recovery, and contact patterns, and build a model. Its usefulness depends on how well its assumptions fit the situation.
  • Engineering: a transport network becomes a graph, and questions about routes, connectivity, and efficiency become easier to ask.
  • Economics: a model that assumes everyone has perfect information can give very different answers from one that does not. Knowing which assumptions you are making is part of understanding the result.
  • Everyday life: it helps to separate what we know from what we merely assume, what we can influence from what we cannot, and what we truly want from what we were taught to want.

Not every life problem has a unique correct answer, and logic cannot replace emotional understanding or ethical judgment. But structured, reflective thinking can help us see our problems more clearly.

09

Learning to see the structure behind everything

There is another aspect of MTT that I consider extremely important. Whenever a student reads about an event, encounters an unfamiliar situation, studies a scientific discovery, or notices something in everyday life, I want them to ask about its underlying structure.

What happened is only the beginning. I want them to ask:

  • Why did it happen?
  • What earlier events or conditions made it possible?
  • What assumptions am I making when I explain it?
  • Which consequences followed, and how are they related?
  • What if one of the conditions had been different?
  • If we wanted a different outcome, what would we need to change?

I believe these questions should become a natural part of how students engage with the world.

Understanding an event is more than remembering it

Suppose a student reads that a city experienced severe flooding after heavy rainfall. They can remember that heavy rain was followed by flooding. But I want them to go further.

Was rainfall alone enough to explain the flooding? What was the condition of the drainage system? Was the ground already saturated? Did the roads, buildings, and surrounding landscape affect where the water went? How might these conditions have interacted?

Perhaps the rainfall increased surface runoff, while limited drainage capacity made it difficult for water to escape. That is a possible explanation. It is not an established account of this event until we have evidence for it.

Now ask: if the drainage had been more effective, would the flooding have been less severe? What if the rainfall had been lighter? If we wanted to prevent a similar event, which conditions could realistically be changed?

We have moved from remembering an event to investigating relationships, assumptions, constraints, and possible causes. We are exploring both what happened and how it could have been different.

The assumptions behind our reasoning

We often reason without being fully aware of our assumptions. In mathematics, a theorem is proved relative to definitions, axioms, and previously established results. If the assumptions change, the conclusions available to us may change too.

Outside mathematics, our assumptions are not always stated. We may inherit them from our education, culture, family, or personal experience. Sometimes we do not even notice that we are treating something as true.

Two people may reach different conclusions because they start with different assumptions, interpret evidence differently, or give different importance to particular values. Religious and philosophical worldviews, for example, can shape how people interpret events and evaluate arguments.

Here I want students to distinguish whether an argument is logically valid from whether its premises are true. Logic helps us examine whether a conclusion follows from the premises. It does not, by itself, establish that those premises accurately describe reality.

Students should learn to reason correctly from assumptions and to recognize, examine, and question those assumptions when necessary.

This conclusion follows if these assumptions are accepted. But if this assumption changes, the conclusion may no longer follow.

I consider the ability to make that distinction an important part of intellectual maturity.

Thinking about what could have been different

In mathematics, we often change a condition and ask what follows. What if we remove an axiom? Extend a structure? Apply a transformation? Does the conclusion hold in every case, or only in certain cases?

I want students to bring this spirit of investigation into their understanding of the world. When they examine an explanation, they should consider other explanations. When they encounter a solution, they should ask when it works and where it might fail. When they want a particular result, they should identify what can be changed and which constraints must be respected.

These “what if” questions are sometimes called counterfactual questions. In real situations, we may not be able to answer them with certainty. We may need experiments, observations, statistical evidence, and knowledge of the subject to tell competing explanations apart.

Learning to ask the question is valuable. Learning what evidence is needed to answer it is valuable too.

Learning to explain, not merely to answer

I want students to explain complicated situations clearly. “This happened because of that” may leave too much hidden.

A useful explanation shows the sequence of events, the assumptions connecting one step to another, the evidence available, and the points where the explanation remains incomplete. It separates what is known from what is inferred.

Another person should be able to see why the conclusion was reached, what supports it, what conditions it depends on, and which alternatives remain open.

This has something in common with mathematical proof, but explaining a real event is not always the same as proving a theorem. Real-world explanations often involve uncertainty and competing possible causes.

An explanation should make its structure visible.

Practising these questions in a classroom

I want students to practise these processes while working through unfamiliar situations. A teacher could present a historical event, a scientific observation, a technological design, a social problem, or an everyday decision.

Students could reconstruct the situation, identify assumptions, propose relationships, compare explanations, change conditions, and investigate the consequences. They could question one another’s reasoning and explain why an interpretation is or is not justified.

The aim would be to develop the way they approach the unknown. Producing an expected answer would not be enough on its own.

What I mean by learning how to learn

Learning mathematics remains important. So does gaining knowledge in physics, biology, history, literature, and every other subject. Alongside that knowledge, I want students to study how understanding itself develops.

  • How do we begin when we do not know what to do?
  • How do we learn an unfamiliar idea?
  • How do we identify what is essential?
  • How do we decide whether an explanation is trustworthy?
  • How do we notice that our current approach is insufficient?
  • How do we construct a better one?

Mastering a few strategies will not make every subject easy or remove the need for effort, knowledge, and specialised training. My hope is that students who learn to examine assumptions, discover structures, compare representations, monitor their reasoning, and ask better questions will approach unfamiliar knowledge more thoughtfully.

Whether these abilities carry over between subjects, and how much they help, must be investigated carefully. I believe the attempt to teach them explicitly is worthwhile.

I want students to examine the structure of a situation, understand how conclusions are reached, and investigate what happens when the underlying assumptions change.

That is the kind of thinking I want MTT to cultivate. And that is why I want it to become part of education itself.

10

Why should these ideas belong only to mathematics?

When students study mathematics deeply, they meet structures, transformations, invariants, symmetries, bases, generators, abstraction, and formal reasoning. But why should a student have to pursue mathematics deeply before being introduced to these powerful ideas?

A biology student can benefit from understanding invariants and underlying structures. A literature student can benefit from recognizing patterns, relationships, and hidden assumptions. An economics student can benefit from examining the constraints behind a model. Students of medicine, engineering, history, philosophy, and the social sciences can all benefit from learning to build, question, compare, and revise conceptual frameworks.

Every field has its own methods of reasoning. Mathematics is not the sole source of intelligent thought. My concern is that we usually teach thinking strategies only inside particular subjects, without giving attention to the processes themselves. Students meet these ideas indirectly, or never systematically.

There is also a belief that mathematics is only for a certain kind of intelligent person. A student who struggles with symbols, calculations, or one style of teaching may slowly conclude that they are not capable of deep reasoning. But difficulty with a mathematical topic does not, by itself, tell us how well a person can notice patterns, think creatively, understand structure, or build a good argument.

Mathematical knowledge is not the only measure of intelligence, and mathematical ability does not belong only to mathematicians.

We should not have to become mathematicians to learn to think structurally. We should not have to study abstract algebra before being encouraged to examine assumptions. These ideas should be made accessible to everyone.

11

A course for schools and colleges

The central ambition of this project is to develop MTT, or whatever better name it eventually receives, into a course that can be taught in schools and colleges, regardless of a student's field of study.

I imagine a course that focuses explicitly on how we understand, investigate, construct, and solve problems. It would sit alongside existing subjects and draw on them. Formulas and puzzles could be useful examples, but the thinking process would be the main subject.

Students would explore questions such as:

  • How do we recognize patterns and underlying structures?
  • What are assumptions, axioms, and constraints, and how do they shape our conclusions?
  • How do we identify invariants and symmetries?
  • How do we find fundamental elements from which complicated systems can be built?
  • How do we recognize substructures, extend structures, and change representations?
  • How do we approach problems when we do not already know a method?
  • How do we construct arguments, find contradictions and counterexamples, and test conjectures?
  • How do we examine our own reasoning and revise a framework when necessary?

What a session might look like

One idea I want to try: take a single underlying structure and meet it in three completely unrelated places, say in a puzzle, in a biological system, and in a social situation. Then ask students to compare them. What stayed the same? What changed? What would break if an assumption were different? I suspect that seeing one idea in several costumes is what helps it become portable.

The course would draw examples from mathematics, physics, computer science, biology, medicine, engineering, the social sciences, and everyday life. For younger students, it could begin with patterns, games, and daily situations. At higher levels, it could grow into formal reasoning, structural analysis, model building, and interdisciplinary investigation. The depth may change. The aim stays the same:

To make the development of thinking itself an part of education.

A first map of the ideas

This is a starting point for a curriculum, not a final classification. Each idea gives us a question to carry into a new situation.

From mathematical ideas to questions we can ask
The ideaThe question
Assumptions & constraintsWhat am I taking for granted? What limits the possible answers?
Generators & independenceWhat can I build from these elements? Which ones are redundant?
Invariants & symmetryWhat changes, and what stays the same under a particular change?
Representations & mappingsCan I describe this differently? Which relationships survive the change?
EquivalenceWhich differences can I ignore for this particular purpose?
Substructures & extensionsCan I understand a smaller part, or work in a larger setting?
Counterexamples & conjecturesWhat would show that my claim is wrong? How can I test it?
Feasibility & optimizationWhat is possible? Once I know that, what do I want to improve?

Using the same word in two fields does not prove that the same mathematical result applies. We have to say what the objects, operations, and relationships are—and where the comparison stops working.

12

Learning how to think

There is a difference between teaching a method and teaching how methods are discovered. In a usual exercise, we are given a problem and a known technique to apply. But what happens when no technique is available? How do we decide where to begin? How do we choose a representation? How do we know which assumptions matter? How do we notice that a complicated problem is really a familiar structure in unfamiliar clothing?

These are the questions I want MTT to address.

Of course, thinking cannot be separated from knowledge. We need concepts and examples to reason about anything. So the purpose is not to teach thinking in a vacuum. It is to reverse the usual emphasis:

The subject matter would serve as a way to explore the thinking process, instead of the thinking process appearing only as a by-product of learning the subject.

Whether this kind of explicit training really improves reasoning across very different fields is an important question. It must be investigated, not assumed. Building a rigorous curriculum, testing it, and understanding its limits are essential parts of this project.

13

Why this name?

I use the word mathematical not because I believe these ways of thinking belong only to mathematics, nor because I think mathematics is superior to other fields. I use it because, in my present understanding, mathematics comes closest to expressing the kind of thinking I am trying to study.

When I think of mathematics, I do not think only of numbers and equations. I think of a way of approaching the unknown: recognizing structures, making assumptions explicit, constructing possibilities, finding connections, identifying invariants, and reasoning carefully about what follows from what.

The name is a working name, not a final declaration. Perhaps a more suitable and universal name will emerge. Perhaps existing disciplines already have concepts that explain parts of what I am describing, and I am open to that.

Mathematics is where this exploration begins. It is not where it must end.
14

A developing inquiry

I do not consider MTT a finished theory. I have a direction that I want to explore, but many questions remain open.

  • Can these ways of thinking be described clearly enough to teach?
  • How should they be introduced at different ages?
  • How far does a strategy learned in one subject carry into another?
  • How much does that depend on knowledge of the new subject?
  • How can we distinguish deeper understanding from familiarity with a particular type of problem?
  • How can students learn both to use an analogy and to recognise its limits?

I want the project to grow through examples, teaching, discussion, and honest criticism. I also want to develop the ideas into a paper when they are sufficiently clear and carefully examined.

What would count as progress?

It would be encouraging to see students approach an unfamiliar problem and explain the structure they recognise, the assumptions they need, the evidence they have, and the limits of their explanation.

We would need to examine this carefully, using new problems rather than only repeating those taught in class. We should also include situations where a familiar-looking analogy fails. Any claim that the course improves reasoning would need evidence.

This is an inquiry I want to keep developing. I want the ideas to remain open to revision as I learn more.

15

The vision

Imagine an education in which students do not meet abstraction, structural reasoning, invariants, and conceptual construction only when they reach certain mathematical topics. Imagine students from different disciplines learning together to find hidden relationships, examine assumptions, build models, identify essential elements, and approach unfamiliar problems. Imagine them asking:

What is the structure of this problem?

Under what conditions am I reasoning?

What remains unchanged?

Can I build something complicated from simpler elements?

Is there another way to represent this?

What happens if I change the assumptions?

And how do I find a new approach when the methods I know are not enough?

I do not expect such a course to make everyone a mathematician, and I do not believe every problem can be solved by mathematical reasoning. That is not the objective. The objective is to make certain powerful ways of thinking available to everyone, instead of leaving them tied to one field of study.

Discovering structures, constructing ideas, recognizing patterns, questioning assumptions, and reasoning carefully are not activities reserved for specialists. They are abilities that can enrich how we study the world, approach problems, and understand our own lives. And perhaps education should make a more deliberate effort to cultivate them.

To understand thought.
To cultivate thought.
To apply thought.

And ultimately, to make the study of thinking an essential part of education itself.

16

Notes, examples, and further questions

This page is a beginning. As I work through the ideas, I plan to add short observations, examples, questions, and longer articles here.

Some may start with a small puzzle. Others may begin with a passage in a book, a scientific idea, or something I notice in everyday life. I want each addition to help make a thinking process clearer, including where it works and where it does not.

17

Book references

Some books connected with the topics and examples discussed on this page.

  1. Gödel, Escher, Bach: An Eternal Golden Braid — Douglas R. Hofstadter.
  2. Code: The Hidden Language of Computer Hardware and Software — Charles Petzold.
  3. Our Mathematical Universe: My Quest for the Ultimate Nature of Reality — Max Tegmark.
  4. The Biggest Ideas in the Universe: Space, Time, and Motion — Sean Carroll.