Is the number seven discovered or invented? Philosophers still cannot agree
Numbers, shapes, functions and sets behave with iron consistency, yet nobody has ever tripped over one. So where do they live? Some thinkers place them in a timeless realm we uncover; others call them useful fictions, rules of a game, or nothing more than their positions in a system.
A mathematical object is any abstract thing mathematics handles: a value a symbol can stand for, from a number to an entire proof or formal theory. Whether such things exist beyond our heads drags in two of philosophy's oldest puzzles: what it means for anything to be, and how we could come to know it.
Platonists answer yes. For them numbers are as real as electrons or planets, statements about them are objectively true or false, and mathematicians discover rather than invent. Plato's realm of perfect forms laid the groundwork, Kurt Gödel championed the view, and Roger Penrose defends it today. A related case comes from Willard Quine and Hilary Putnam: science leans so heavily on mathematics, from Hilbert spaces in quantum mechanics to curved geometry in general relativity, that if we believe our best theories we should also believe in the objects they cannot do without.
Nominalists refuse. Nelson Goodman treated mathematical objects as products of linguistic convention, and Hartry Field's fictionalism calls mathematical statements helpful stories. Logicists such as Gottlob Frege, and Bertrand Russell with Alfred North Whitehead, tried to rebuild all of mathematics from pure logic, a programme badly shaken when Gödel's incompleteness theorems showed that any system strong enough for arithmetic cannot be both complete and consistent.
Other schools shift the question. David Hilbert's formalism treats mathematics much like a game of symbols governed by consistent rules. Constructivists, led by L. E. J. Brouwer, insist you must actually build an example to prove something exists, rather than merely showing that its absence breeds contradiction; Errett Bishop later proved most key theorems of real analysis that way in 1967. Structuralists such as Paul Benacerraf and Stewart Shapiro argue a number has no inner nature at all, only a role within arithmetic.
Source: Mathematical object
