Foundations, Structure, and the Reimagining of Mathematics

Last Updated May 30, 2026

Mathematics has repeatedly reimagined itself. It has been understood as calculation, measurement, geometry, proof, algebra, analysis, logic, structure, language, model, computation, and formal system. Each reimagining changed not only what mathematics studied, but what mathematicians believed mathematics was. Is mathematics about numbers? Is it about space? Is it about truth? Is it about symbols? Is it about structures? Is it about patterns? Is it about computation? Is it about the disciplined construction of possible worlds?

The modern understanding of mathematics cannot be reduced to any single answer. Mathematics is not only arithmetic, geometry, algebra, or calculus. It is a way of organizing relations under explicit assumptions. It builds worlds from axioms, studies structures through maps and transformations, formalizes reasoning, models physical and social systems, and increasingly interacts with computation, proof assistants, data systems, and artificial intelligence. Mathematics is both ancient and constantly being remade.

This article examines foundations, structure, and the reimagining of mathematics from the crisis of Euclidean certainty through non-Euclidean geometry, set theory, formal logic, the foundations debates, structuralism, category-level abstraction, computation, proof assistants, and contemporary mathematical practice. It argues that mathematics is best understood not as a fixed body of eternal formulas, but as an evolving architecture of disciplined imagination: a way of creating, testing, transforming, and interpreting formal structures that illuminate both the world and the limits of reason.

The Question of What Mathematics Is

Every major transformation in mathematics raises a deeper philosophical question: what is mathematics actually about? At first glance, the answer seems obvious. Mathematics is about numbers, shapes, formulas, equations, proofs, and calculations. But this answer becomes unstable as soon as mathematics moves beyond elementary examples.

A group may consist of rotations, permutations, matrices, integers under addition, or symmetries of an object. A topological space may describe a surface, a function space, a network, or an abstract collection of points with a notion of openness. A category may treat whole structures as objects and structure-preserving maps as the primary focus. A formal system may reason about strings of symbols without requiring an immediate physical interpretation. A computer proof may verify a theorem through a formal language unreadable to most humans without specialized training.

Mathematics is therefore not simply the study of one kind of object. It is the study of patterned relation under disciplined representation.

This is why foundations matter. Foundations ask what mathematics rests on. Are mathematical truths grounded in logic, set theory, construction, intuition, formal symbols, structures, categories, computation, or something else? But foundations alone are not enough. Modern mathematics is also structural: it studies how systems behave under operations, maps, invariants, equivalences, and transformations.

The reimagining of mathematics begins when mathematics stops asking only “What is the answer?” and begins asking “What kind of world makes this question meaningful?”

Back to top ↑

The Classical Picture: Number, Space, and Proof

The classical picture of mathematics was shaped by arithmetic, geometry, and proof. Number made quantity abstract. Geometry made space intelligible. Proof made mathematical claims accountable. This picture reached one of its most influential forms in Greek deductive geometry, especially in the Euclidean tradition.

In the classical picture, mathematics appeared to describe necessary truths. A theorem about triangles or circles seemed not merely useful, but certain. The diagram helped intuition, while the proof showed why a statement must hold. The authority of mathematics rested on deductive demonstration from accepted starting points.

This classical picture remains powerful. Much of mathematical education still inherits it: define the object, state the theorem, prove the result. But the classical picture does not exhaust mathematics. It works well for many geometric and arithmetic contexts, yet modern mathematics eventually had to confront objects and structures that were not obvious from ordinary spatial intuition.

The classical picture gave mathematics an ideal of certainty. Modern mathematics did not abandon that ideal, but it transformed it. Certainty became less about self-evident objects and more about explicit systems, formal assumptions, structural invariants, and carefully defined contexts.

Back to top ↑

The Foundational Crisis: When Certainty Became a Problem

The nineteenth and early twentieth centuries brought a series of shocks to mathematical certainty. Calculus had been extraordinarily successful, but its early foundations were unclear. Infinite series behaved in unexpected ways. Functions could be continuous but nowhere differentiable. Non-Euclidean geometry showed that alternative geometries were possible. Set theory opened the study of actual infinity, then produced paradoxes. Logic promised foundations, but formal systems revealed limits.

This was not a collapse of mathematics. It was a deepening. Mathematics had become powerful enough to expose the inadequacy of older assumptions. The crisis was not that mathematics failed, but that it had outgrown inherited pictures of what mathematical objects, proof, and certainty were supposed to be.

The foundational crisis forced mathematics to become self-conscious. What is a real number? What is a function? What is a set? What is a proof? What is an axiom? What counts as existence? Can every true statement be proved? Can a formal system guarantee its own consistency? Can mathematical reasoning be reduced to logic, symbols, construction, or computation?

Modern foundations emerged from this pressure. Mathematics became more abstract, more formal, more cautious, and more powerful at the same time.

Back to top ↑

Non-Euclidean Geometry and the Plurality of Mathematical Worlds

Non-Euclidean geometry changed mathematics by showing that Euclidean space was not the only coherent geometric possibility. For centuries, the parallel postulate had seemed less self-evident than Euclid’s other postulates. Many attempted to prove it from the rest. The discovery that consistent alternative geometries could be developed by modifying the parallel postulate transformed the meaning of axioms.

Axioms no longer appeared only as self-evident truths about the one real space. They became assumptions defining mathematical worlds. A geometry could be studied not because it matched ordinary intuition, but because it was internally coherent and mathematically fruitful.

This was one of the great reimaginings of mathematics. Mathematical truth became conditional: true within a system, derived from assumptions, judged by consistency, model, and structure. The question shifted from “Which geometry is self-evidently true?” to “What follows from these assumptions, and what structures do they define?”

Non-Euclidean geometry taught mathematics to imagine formal worlds beyond immediate intuition. That lesson became central to modern mathematics.

Back to top ↑

Set Theory and the Attempt to Rebuild Mathematics

Set theory offered a powerful foundational language. If mathematical objects could be understood as sets, then numbers, functions, relations, spaces, structures, and even more complex objects might be rebuilt from membership. The simple relation \(x\in A\) became a foundational tool.

Set theory made infinity into a mathematical object of systematic study. Cantor’s work showed that infinite sets could have different sizes. The natural numbers, real numbers, and other infinite collections could be compared through functions, bijections, and cardinalities. Infinity was no longer only a philosophical or theological idea; it became mathematically structured.

But set theory also generated paradoxes when used too freely. Russell’s paradox showed that unrestricted set formation could lead to contradiction. If one considers the set of all sets that are not members of themselves, one asks whether that set is a member of itself. Either answer creates a contradiction. Such paradoxes forced mathematicians to axiomatize set theory carefully.

Set theory did not end foundational debate, but it gave modern mathematics a powerful common language. Much of contemporary mathematics can be expressed within set-theoretic foundations, even when mathematicians think structurally rather than set-theoretically in daily practice.

Back to top ↑

Logicism, Formalism, and Intuitionism

The foundations of mathematics were shaped by three major programs: logicism, formalism, and intuitionism. Each reimagined mathematics differently.

Logicism sought to reduce mathematics, especially arithmetic, to logic. If numbers and mathematical truths could be derived from purely logical principles, mathematics would be grounded in the laws of thought. Formalism treated mathematics as manipulation of symbols according to rules, emphasizing formal systems, consistency, and proof. Intuitionism rejected some classical assumptions, especially non-constructive existence proofs, and grounded mathematics in constructive mental activity.

These were not merely philosophical differences. They affected what counted as proof, existence, truth, and legitimate reasoning. Classical mathematics accepts proofs by contradiction that establish existence without constructing an example. Intuitionistic mathematics demands stronger constructive content. Formalism shifts attention toward systems, syntax, and consistency.

The foundations debates matter because they show that mathematics is not philosophically simple. Even when mathematicians agree on many results, they may disagree about what those results mean, what objects they concern, and what kind of existence they establish.

Back to top ↑

Gödel and the Limits of Formal Foundations

Gödel’s incompleteness theorems transformed the foundations of mathematics. They showed that any sufficiently strong, consistent formal system capable of expressing arithmetic contains true statements that cannot be proved within that system. They also showed that such a system cannot, under the relevant assumptions, prove its own consistency using only its own resources.

This did not destroy mathematics. It clarified the limits of one dream: that mathematics could be completely captured by a single formal system that proves all truths and certifies its own consistency. Formal systems remain powerful, but they are not omnipotent.

Gödel forced a distinction between truth and provability. A statement may be true in the intended interpretation of arithmetic yet not derivable from a given formal system. This distinction reshaped mathematical logic, philosophy, computer science, and the understanding of formal proof.

The reimagining here is profound: mathematics can formalize reasoning, but formalization itself reveals boundaries. The foundations of mathematics are not a final basement floor beneath all thought. They are themselves mathematical terrain.

Back to top ↑

The Structural Turn in Modern Mathematics

Modern mathematics increasingly understands itself as the study of structure. Instead of asking only what numbers, shapes, or functions are individually, mathematics asks how objects relate, transform, compose, preserve, and correspond.

A group is not defined by what its elements physically are. It is defined by an operation satisfying laws. A vector space may consist of arrows, coordinate tuples, functions, signals, or data points. A topology studies continuity and nearness without requiring ordinary distance. A graph studies relational structure through nodes and edges. A formal system studies derivability through symbols and rules.

The structural turn allows mathematics to identify sameness beneath difference. Two systems may look unlike one another, but if they share the same structure, results may transfer. The concept of isomorphism captures this idea: two structures may be essentially the same from the perspective of their internal relations.

The structural turn reimagines mathematics as a science of form. It studies not only particular mathematical objects, but the architectures that make many different objects behave alike.

Back to top ↑

Category-Level Abstraction and Mathematics as Transformation

Category theory pushed structural thinking even further. Rather than focusing primarily on objects and their internal elements, category theory emphasizes objects and morphisms: structure-preserving maps between objects. This makes transformation central.

In many areas of mathematics, the most important information is not only what an object is, but how it maps to other objects. Groups are studied through homomorphisms. Spaces are studied through continuous maps. Vector spaces are studied through linear transformations. Logical systems can be studied through translations. Data types can be studied through functions. Category theory provides a language for this emphasis on maps and composition.

This does not mean category theory replaces all other mathematics. It provides a high-level language for seeing patterns among structures. Its power lies in abstraction, but abstraction has costs. Without examples, category-level reasoning can become opaque. With examples, it reveals deep unity across algebra, topology, logic, computer science, and geometry.

Category-level abstraction reimagines mathematics as a study of relational architecture. It asks not only “What is this object?” but “How does it transform, and what is preserved across transformations?”

Back to top ↑

Models, Interpretation, and Mathematical Worlds

Modern mathematics often works through models. A model gives interpretation to a formal structure. The same equation, graph, probability distribution, or dynamical system can model different phenomena depending on how its symbols are interpreted. This is one reason mathematics is powerful across physics, economics, biology, computer science, engineering, climate science, and social systems.

But the power of modeling also creates risk. A model is not the world. A model selects, abstracts, simplifies, and formalizes. It can clarify structure, but it can also hide assumptions, exclude lived realities, and produce false authority when treated as complete.

The distinction between formal structure and interpretation is central to modern mathematical thinking. A graph may represent a social network, a road system, a supply chain, a neural architecture, or a dependency graph. The mathematics of nodes and edges may be the same, but the meaning of an edge changes completely across domains.

Mathematics is reimagined through modeling when it becomes a bridge between formal worlds and lived worlds. But that bridge requires interpretation, responsibility, and humility.

Back to top ↑

Computation and the Reimagining of Mathematical Practice

Computation has changed what mathematics can do. Algorithms, simulations, symbolic computation, numerical methods, complexity theory, cryptography, data analysis, machine learning, and computer-assisted proof have all transformed mathematical practice. Mathematics is no longer only written, diagrammed, or proved by hand. It is executed.

Computation reimagines mathematics in at least four ways. First, it turns procedures into formal algorithms. Second, it allows large-scale experimentation. Third, it represents mathematical objects as data structures. Fourth, it makes proof and verification partly mechanizable.

Computer algebra systems manipulate symbolic expressions. Numerical solvers approximate solutions. Simulations explore dynamical systems. Proof assistants check formal derivations. Machine learning systems fit high-dimensional functions. Each expands mathematical practice, but each introduces new questions about reliability, interpretability, assumptions, and validation.

Computation does not replace mathematical thought. It changes the medium of mathematical thought. It makes mathematics executable, scalable, testable, and in some cases formally checkable. But interpretation remains human.

Back to top ↑

Proof Assistants and Machine-Checked Mathematics

Proof assistants represent one of the most significant contemporary reimaginings of mathematics. Systems such as Lean, Coq, Isabelle/HOL, HOL Light, and Agda allow mathematical definitions, theorems, and proofs to be encoded in formal languages and checked by computer.

This changes the status of proof. A traditional proof is written for human understanding and peer review. A formal proof is written in a language that a machine can check. The machine verifies that each step follows from the formal rules and available definitions. This can expose hidden assumptions, missing cases, and informal gaps.

Machine-checked mathematics does not eliminate creativity. It may actually require more precise creativity: choosing definitions, organizing libraries, decomposing proofs, finding formal paths, and connecting human intuition to machine-verifiable structure. The proof assistant does not decide what mathematics matters. It checks the formal consequences of what humans formulate.

The future of mathematics may involve a new partnership between human mathematical imagination and machine-checked formal discipline. But the central question remains old: what are we proving, under what assumptions, and why does it matter?

Back to top ↑

Mathematical Pluralism: One Mathematics or Many?

The reimagining of mathematics leads naturally to pluralism. There may be one mathematics in the sense that valid reasoning can be shared, checked, translated, and generalized across contexts. But there are many mathematical practices: classical proof, constructive proof, formal verification, computational experimentation, applied modeling, numerical approximation, statistical inference, category-level abstraction, and visual reasoning.

Mathematical pluralism does not mean anything goes. It means different mathematical contexts may require different standards, tools, and interpretations. A numerical simulation is not the same as a proof. A constructive proof is not the same as a non-constructive existence proof. A formal verification is not the same as a good model of the world. A beautiful abstraction is not automatically useful. A useful model is not automatically just.

Pluralism is a mature view of mathematics. It recognizes that mathematics has many modes while insisting that each mode must be honest about its assumptions, scope, and evidence.

Back to top ↑

How Foundations and Structure Change Mathematical Learning

Foundations and structure should change how mathematics is taught. Many students experience mathematics as a sequence of procedures detached from meaning. Others encounter proof as a rigid ritual. Others meet abstraction too early without examples, or too late after years of mechanical manipulation. A structural and historical approach can make mathematics more coherent.

Students should learn that mathematics develops by asking better questions about form. Why does this rule work? What structure makes this transformation valid? What assumptions are hidden? What changes when the domain changes? Is this an equation, an identity, a definition, a model, or an algorithm? What is preserved under transformation?

Foundational awareness also helps students understand why mathematics changes. Euclidean geometry is not “wrong” because non-Euclidean geometry exists. Classical proof is not “obsolete” because proof assistants exist. Algebraic notation is not “natural” simply because it is familiar. Each mathematical system works within assumptions, purposes, and representational choices.

Mathematics education becomes stronger when students see mathematics not as a wall of techniques, but as an evolving architecture of ideas.

Back to top ↑

A Mathematical Lens: Objects, Relations, Rules, Transformations

A useful lens for reimagining mathematics is the sequence: objects, relations, rules, transformations. Mathematical thinking begins by identifying objects. It then studies relations among them. It defines rules governing those relations. It examines transformations that preserve, reveal, or change structure.

This lens works across many areas. In arithmetic, objects are numbers and operations relate them. In geometry, objects are points, lines, spaces, and transformations. In algebra, objects are elements inside structures governed by operations. In topology, objects are spaces and continuous maps. In logic, objects are statements and inference rules. In computation, objects are data structures and algorithms.

This lens captures the deep continuity between ancient and modern mathematics. Mathematics has always studied relation. Modern mathematics has made that relational imagination explicit.

Back to top ↑

Computational Companion Examples

The companion repository for this article should extend the Mathematical Thinking codebase with examples focused on foundational systems, structural abstractions, model interpretation, formal systems, proof-style metadata, category-style transformation graphs, Haskell typed structures, SQL foundation schemas, and responsible abstraction audits. The examples below are compact article-level previews; the repository can expand them into richer professional workflows.

Python: Structural System Metadata

from dataclasses import dataclass
from collections import defaultdict

@dataclass(frozen=True)
class MathematicalStructure:
    name: str
    objects: str
    relations_or_operations: str
    preserved_by: str
    interpretation_note: str

structures = [
    MathematicalStructure(
        name="Group",
        objects="elements such as symmetries or transformations",
        relations_or_operations="one associative operation with identity and inverses",
        preserved_by="group homomorphism",
        interpretation_note="structure is defined by operation laws, not element appearance"
    ),
    MathematicalStructure(
        name="Vector space",
        objects="vectors, functions, signals, or data points",
        relations_or_operations="addition and scalar multiplication",
        preserved_by="linear map",
        interpretation_note="linear structure can appear in geometry, analysis, physics, and data"
    ),
    MathematicalStructure(
        name="Topological space",
        objects="points and open sets",
        relations_or_operations="openness, continuity, nearness",
        preserved_by="continuous map",
        interpretation_note="topology studies qualitative structure rather than exact measurement"
    ),
    MathematicalStructure(
        name="Formal system",
        objects="symbols, formulas, axioms, proofs",
        relations_or_operations="inference rules and derivability",
        preserved_by="formal translation or interpretation",
        interpretation_note="proof becomes an object of mathematical study"
    ),
]

by_preservation = defaultdict(list)
for item in structures:
    by_preservation[item.preserved_by].append(item.name)

for map_type, names in by_preservation.items():
    print(map_type, "=>", names)

R: Foundations and Structure Audit Table

foundation_views <- data.frame(
  view = c(
    "Set-theoretic",
    "Logical",
    "Formalistic",
    "Intuitionistic",
    "Structural",
    "Computational"
  ),
  primary_question = c(
    "Can mathematics be built from sets and membership?",
    "Can mathematics be grounded in logic?",
    "Can mathematics be secured through formal systems?",
    "What mathematics can be constructed?",
    "What structures and relations define mathematical objects?",
    "What can be computed, checked, simulated, or verified?"
  ),
  risk = c(
    "membership language may hide mathematical practice",
    "logic may not capture all mathematical meaning",
    "syntax may be mistaken for interpretation",
    "classical results may not transfer directly",
    "abstraction may detach from examples",
    "computation may be mistaken for proof or wisdom"
  )
)

print(foundation_views)

Haskell: Typed Structures and Foundation Views

{-# OPTIONS_GHC -Wall #-}

data FoundationView
  = SetTheoretic
  | Logical
  | Formalist
  | Intuitionist
  | Structural
  | Computational
  deriving (Eq, Show)

data Structure
  = Group
  | VectorSpace
  | TopologicalSpace
  | Graph
  | FormalSystem
  deriving (Eq, Show)

data PreservationMap
  = Homomorphism
  | LinearMap
  | ContinuousMap
  | GraphMorphism
  | FormalTranslation
  deriving (Eq, Show)

preserves :: Structure -> PreservationMap
preserves structure =
  case structure of
    Group -> Homomorphism
    VectorSpace -> LinearMap
    TopologicalSpace -> ContinuousMap
    Graph -> GraphMorphism
    FormalSystem -> FormalTranslation

main :: IO ()
main = do
  print SetTheoretic
  print Structural
  print (preserves Group)
  print (preserves TopologicalSpace)

SQL: Foundations and Structure Schema

CREATE TABLE foundation_view (
  view_id TEXT PRIMARY KEY,
  name TEXT NOT NULL,
  central_question TEXT NOT NULL,
  mathematical_strength TEXT NOT NULL,
  limitation_note TEXT NOT NULL
);

CREATE TABLE mathematical_structure (
  structure_id TEXT PRIMARY KEY,
  name TEXT NOT NULL,
  objects TEXT NOT NULL,
  relations_or_operations TEXT NOT NULL,
  preserved_by TEXT NOT NULL,
  interpretation_note TEXT NOT NULL
);

CREATE TABLE formal_system (
  system_id TEXT PRIMARY KEY,
  language TEXT NOT NULL,
  axioms TEXT NOT NULL,
  inference_rules TEXT NOT NULL,
  intended_use TEXT NOT NULL,
  limitation_note TEXT NOT NULL
);

CREATE TABLE abstraction_warning (
  warning_id TEXT PRIMARY KEY,
  topic TEXT NOT NULL,
  warning TEXT NOT NULL,
  mitigation TEXT NOT NULL
);

These examples treat foundations and structure as inspectable knowledge. Foundation views can be compared. Structures can be described by objects, operations, and preservation maps. Formal systems can be separated from interpretation. Warnings can document the risks of treating abstraction as neutral, complete, or socially detached.

Back to top ↑

GitHub Repository

The companion repository for this article is designed as a reproducible mathematical-thinking workspace focused on foundations, formal systems, structural abstraction, category-level transformation, model interpretation, proof-style metadata, typed structures, SQL foundation schemas, and responsible abstraction audits.

Back to top ↑

Foundations, Power, and Responsible Abstraction

Abstraction is one of mathematics’ greatest powers, but abstraction is not automatically innocent. To abstract is to select what matters and ignore what does not. In pure mathematics, that selection may be internal to a formal system. In applied mathematics, modeling, computation, data science, economics, governance, infrastructure, or artificial intelligence, abstraction can shape decisions that affect people, institutions, and environments.

Foundations and structure therefore have ethical consequences. A formal model may be logically coherent but socially inadequate. A metric may be mathematically precise but morally narrow. An optimization problem may be solved correctly while optimizing the wrong objective. A proof may establish a statement whose interpretation remains contested. A verified system may satisfy a specification that should never have been chosen.

Responsible abstraction does not weaken mathematics. It clarifies where mathematics is strongest and where interpretation, ethics, and institutional judgment remain necessary.

Back to top ↑

Why Reimagining Mathematics Matters

The reimagining of mathematics matters because mathematics now shapes modern technical life. It underlies physics, engineering, cryptography, finance, logistics, climate science, epidemiology, data systems, artificial intelligence, optimization, formal verification, and decision-making infrastructures. How mathematics understands itself affects how societies use mathematical authority.

If mathematics is understood only as calculation, then proof, structure, and interpretation disappear. If mathematics is understood only as formal proof, then modeling, computation, experimentation, and application may be undervalued. If mathematics is understood only as useful modeling, then the internal discipline of proof and abstraction may be weakened. If mathematics is understood only as computation, then formal meaning and human judgment may be displaced by output.

A mature view holds these dimensions together. Mathematics is calculation and proof, symbol and structure, model and abstraction, computation and interpretation. It creates formal worlds, but it also helps interpret real ones. It can produce certainty within assumptions, but it cannot remove the need to choose assumptions wisely.

Foundations ask what mathematics rests on. Structure asks what mathematics preserves. Reimagining asks what mathematics can become. Together, they show mathematics as one of humanity’s most profound intellectual practices: the disciplined creation of forms that make reason visible, portable, testable, transformable, and accountable.

Back to top ↑

Related Articles

• What Is Mathematical Thinking? Pattern, Proof, Architecture, and Reason
• The History of Mathematical Thinking from Antiquity to Modernity
• The Historical Development of Proof
• The Evolution of Algebraic Notation
• Abstraction and the Power of Generalization
• Mathematical Thinking and Category-Level Abstraction
• Mathematical Thinking and Proof Assistants
• Mathematical Thinking and AI-Assisted Discovery
• Historical Development and the Unity of Mathematical Ideas
• The Historical Understanding of Mathematics

Further Reading

• Avigad, J. (2024) The Mechanization of Mathematics. Cambridge: Cambridge University Press. Available at: https://www.cambridge.org/core/books/mechanization-of-mathematics/0D421D0044B551A17E8C01D0163FF061
• Corry, L. (2004) Modern Algebra and the Rise of Mathematical Structures. 2nd edn. Basel: Birkhäuser. Available at: https://link.springer.com/book/10.1007/978-3-0348-7917-0
• Dauben, J.W. (1990) Georg Cantor: His Mathematics and Philosophy of the Infinite. Princeton: Princeton University Press. Available at: https://press.princeton.edu/books/paperback/9780691024479/georg-cantor
• Ferreirós, J. (2007) Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics. 2nd edn. Basel: Birkhäuser. Available at: https://link.springer.com/book/10.1007/978-3-7643-8350-3
• Goldblatt, R. (2006) Topoi: The Categorial Analysis of Logic. Mineola, NY: Dover.
• Gray, J. (2007) Plato’s Ghost: The Modernist Transformation of Mathematics. Princeton: Princeton University Press. Available at: https://press.princeton.edu/books/paperback/9780691136103/platos-ghost
• Horsten, L. (2019) ‘Philosophy of Mathematics’, Stanford Encyclopedia of Philosophy. Available at: https://plato.stanford.edu/entries/philosophy-mathematics/
• Reck, E. (2019) ‘Structuralism in the Philosophy of Mathematics’, Stanford Encyclopedia of Philosophy. Available at: https://plato.stanford.edu/entries/structuralism-mathematics/
• Shapiro, S. (1997) Philosophy of Mathematics: Structure and Ontology. Oxford: Oxford University Press.
• Weir, A. (2022) ‘Formalism in the Philosophy of Mathematics’, Stanford Encyclopedia of Philosophy. Available at: https://plato.stanford.edu/entries/formalism-mathematics/

Back to top ↑

References

• Avigad, J. (2024) The Mechanization of Mathematics. Cambridge: Cambridge University Press. Available at: https://www.cambridge.org/core/books/mechanization-of-mathematics/0D421D0044B551A17E8C01D0163FF061
• Benacerraf, P. and Putnam, H. (eds.) (1983) Philosophy of Mathematics: Selected Readings. 2nd edn. Cambridge: Cambridge University Press.
• Corry, L. (2004) Modern Algebra and the Rise of Mathematical Structures. 2nd edn. Basel: Birkhäuser. Available at: https://link.springer.com/book/10.1007/978-3-0348-7917-0
• Dauben, J.W. (1990) Georg Cantor: His Mathematics and Philosophy of the Infinite. Princeton: Princeton University Press. Available at: https://press.princeton.edu/books/paperback/9780691024479/georg-cantor
• Ferreirós, J. (2007) Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics. 2nd edn. Basel: Birkhäuser. Available at: https://link.springer.com/book/10.1007/978-3-7643-8350-3
• Goldblatt, R. (2006) Topoi: The Categorial Analysis of Logic. Mineola, NY: Dover.
• Gray, J. (2007) Plato’s Ghost: The Modernist Transformation of Mathematics. Princeton: Princeton University Press. Available at: https://press.princeton.edu/books/paperback/9780691136103/platos-ghost
• Horsten, L. (2019) ‘Philosophy of Mathematics’, Stanford Encyclopedia of Philosophy. Available at: https://plato.stanford.edu/entries/philosophy-mathematics/
• Mac Lane, S. (1998) Categories for the Working Mathematician. 2nd edn. New York: Springer. Available at: https://link.springer.com/book/10.1007/978-1-4757-4721-8
• Reck, E. (2019) ‘Structuralism in the Philosophy of Mathematics’, Stanford Encyclopedia of Philosophy. Available at: https://plato.stanford.edu/entries/structuralism-mathematics/
• Shapiro, S. (1997) Philosophy of Mathematics: Structure and Ontology. Oxford: Oxford University Press.
• Weir, A. (2022) ‘Formalism in the Philosophy of Mathematics’, Stanford Encyclopedia of Philosophy. Available at: https://plato.stanford.edu/entries/formalism-mathematics/

Back to top ↑