foundations of mathematics
-
What are the foundations of mathematics?
The foundations of mathematics delve into the logical and philosophical underpinnings of math, questioning axioms' completeness and consistency. This field addresses the meanings of mathematical sentences and the existence of abstract objects.
Key aspects include:
* Historical context For 2,000 years, Euclid's Elements provided a solid base until the 19th century's alternative geometries and Georg Cantor's set theory necessitated a more rigorous foundation.
* Schools of thought The 20th century saw efforts from logicist, formalist, intuitionist, and set theory schools to rebuild math.
* Modern research Current research explores category theory.
* Mathematical logic A branch related to symbolic logic.
* Set theory Focuses on the nature and relations of sets.
* Philosophy of mathematics Explores the meaning of mathematical sentences and the existence of abstract objects.
* Proof An argument that establishes the validity of a proposition.5 Britannica SourcesCreated from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles. -
Why do mathematicians need rules and logic in math?
Mathematicians use rules and logic in math to ensure consistency, completeness, and correctness. The axiomatic method, which originated with the ancient Greeks, involves starting with basic truths (axioms) and using logical steps to derive other true statements (theorems). This approach provides a systematic way to explore mathematical concepts and ensure the reliability of results. Without these rules and logic, mathematics would lack a solid foundation, potentially leading to confusion and contradictions. The formal structure of math provides a model for philosophical conduct, helping to assure meaning, inference, and the discovery of relationships.
4 Britannica SourcesCreated from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles. -
What is an axiom in mathematics?
In mathematics and logic, an axiom is an unprovable rule or first principle that is accepted as true because it is self-evident or particularly useful. It serves as a starting point for deducing and proving other statements or theorems within a system.
Axiomatic set theory adopts the attitude that it is unnecessary to know what "sets" are or what membership means. The sole concern is the properties assumed about sets and the membership relation.
Axioms should be consistent, plausible and rich:
* Consistency means it should be impossible to derive as theorems both a statement and its negation.
* Plausibility means axioms should accord with intuitive beliefs about sets.
* Richness means desirable results of set theory can be derived as theorems.4 Britannica SourcesCreated from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles. -
How do mathematicians use proofs to show something is true?
In mathematics, proofs are used to establish the validity of a proposition through rigorous deduction. Within formal axiomatic systems, a proof is a sequence of formulas constructed following specific rules.
Each formula is either an axiom or derived from previous formulas via valid inference, with the final formula representing the statement to be proven. Proofs can also address relations between logic and reality through models, where axioms describe a portion of the world, and propositions specify classes of models. Mathematical induction is another method of proof based on the principle of mathematical induction.
4 Britannica SourcesCreated from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles. -
What are some different ways to build the foundations of mathematics?
The foundations of mathematics have been approached using different schools of thought, each proposing unique ways to construct a rigorous basis for mathematics.
-
Logicism This view, championed by Gottlob Frege and Bertrand Russell, posits that mathematical truths are ultimately logical truths.
-
Intuitionism Founded by L.E.J. Brouwer, intuitionism asserts that mathematical statements are true only if we can construct a proof of them. This rejects nonconstructive proofs and has implications for the acceptance of certain mathematical principles.
-
Formalism One version, metamathematical formalism, suggests that mathematical sentences are about mathematical sentences and theories themselves, rather than about numbers or other mathematical objects.
-
Set Theory Georg Cantor's set theory revolutionized mathematics by treating infinite sets as mathematical objects. It serves as a basis for defining complex mathematical concepts, though contradictions in naive set theory led to the development of axiomatic set theory.
-
Category Theory Category theory, particularly topos theory, offers another foundation by generalizing the category of sets. F.W. Lawvere and Alexandre Grothendieck contributed significantly to this area, using categories to present mathematical results in a uniform way.
3 Britannica SourcesCreated from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles. -
-
What are some big questions or problems that mathematicians have faced in the foundations of mathematics?
The foundations of mathematics have faced significant questions and problems, especially in the 20th century, when mathematicians and philosophers sought to establish a firm basis for mathematics.
Some key issues include:
* The need for a new foundation The discovery of consistent alternative geometries and paradoxes in set theory revealed that mathematics needed a more rigorous foundation independent of geometric intuitions.
* Incompleteness Kurt Gödel's incompleteness theorems demonstrated that no formal system containing arithmetic could prove all its truths or its own consistency.
* The continuum hypothesis The continuum hypothesis questions whether there exists a set with a cardinality between that of the natural numbers and the real numbers.
* Russell's paradox Bertrand Russell's discovery of a contradiction in naive set theory showed that not every concept has a corresponding set, challenging the intuitive understanding of set theory.
* Decidability Discoveries in metalogic have led to the development of recursive functions, which can prove that certain classes of problems are mechanically unsolvable.6 Britannica SourcesCreated from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.
foundations of mathematics, the study of the logical and philosophical basis of mathematics, including whether the axioms of a given system ensure its completeness and its consistency. Because mathematics has served as a model for rational inquiry in the West and is used extensively in the sciences, foundational studies have far-reaching consequences for the reliability and extensibility of rational thought itself.
For 2,000 years the foundations of mathematics seemed perfectly solid. Euclidâs Elements (c. 300 bce), which presented a set of formal logical arguments based on a few basic terms and axioms, provided a systematic method of rational exploration that guided mathematicians, philosophers, and scientists well into the 19th century. Even serious objections to the lack of rigour in Sir Isaac Newtonâs notion of fluxions (derivatives) in the calculus, raised by the Anglo-Irish empiricist George Berkeley (among others), did not call into question the basic foundations of mathematics. The discovery in the 19th century of consistent alternative geometries, however, precipitated a crisis, for it showed that Euclidean geometry, based on seemingly the most intuitively obvious axiomatic assumptions, did not correspond with reality as mathematicians had believed. This, together with the bold discoveries of the German mathematician Georg Cantor in set theory, made it clear that, to avoid further confusion and satisfactorily answer paradoxical results, a new and more rigorous foundation for mathematics was necessary.
Thus began the 20th-century quest to rebuild mathematics on a new basis independent of geometric intuitions. Early efforts included those of the logicist school of the British mathematicians Bertrand Russell and Alfred North Whitehead, the formalist school of the German mathematician David Hilbert, the intuitionist school of the Dutch mathematician L.E.J. Brouwer, and the French set theory school of mathematicians collectively writing under the pseudonym of Nicolas Bourbaki. Some of the most promising current research is based on the development of category theory by the American mathematician Saunders Mac Lane and the Polish-born American mathematician Samuel Eilenberg following World War II.
" height="20" alt="HEW Logo">
This article presents the historical background of foundational questions and 20th-century efforts to construct a new foundational basis for mathematics.
Ancient Greece to the Enlightenment
A remarkable amount of practical mathematics, some of it even fairly sophisticated, was already developed as early as 2000 bce by the agricultural civilizations of Egypt and Mesopotamia and perhaps even farther east. However, the first to exhibit an interest in the foundations of mathematics were the ancient Greeks.
Arithmetic or geometry
Early Greek philosophy was dominated by a dispute as to which is more basic, arithmetic or geometry, and thus whether mathematics should be concerned primarily with the (positive) integers or the (positive) reals, the latter then being conceived as ratios of geometric quantities. (The Greeks confined themselves to positive numbers, as negative numbers were introduced only much later in India by Brahmagupta.) Underlying this dispute was a perceived basic dichotomy, not confined to mathematics but pervading all nature: is the universe made up of discrete atoms (as the philosopher Democritus believed) which hence can be counted, or does it consist of one or more continuous substances (as Thales of Miletus is reputed to have believed) and thus can only be measured? This dichotomy was presumably inspired by a linguistic distinction, analogous to that between English count nouns, such as âapple,â and mass nouns, such as âwater.â As Aristotle later pointed out, in an effort to mediate between these divergent positions, water can be measured by counting cups.
The Pythagorean school of mathematics, founded on the doctrines of the Greek philosopher Pythagoras, originally insisted that only natural and rational numbers exist. Its members only reluctantly accepted the discovery that Square root ofâ2, the ratio of the diagonal of a square to its side, could not be expressed as the ratio of whole numbers. The remarkable proof of this fact has been preserved by Aristotle.
The trusted destination for professionals, college students, and lifelong learners.
SUBSCRIBE
The contradiction between rationals and reals was finally resolved by Eudoxus of Cnidus, a disciple of Plato, who pointed out that two ratios of geometric quantities are equal if and only if they partition the set of (positive) rationals in the same way, thus anticipating the German mathematician Richard Dedekind (1831â1916), who defined real numbers as such partitions.
Being versus becoming
Another dispute among pre-Socratic philosophers was more concerned with the physical world. Parmenides claimed that in the real world there is no such thing as change and that the flow of time is an illusion, a view with parallels in the Einstein-Minkowski four-dimensional space-time model of the universe. Heracleitus, on the other hand, asserted that change is all-pervasive and is reputed to have said that one cannot step into the same river twice.
Zeno of Elea, a follower of Parmenides, claimed that change is actually impossible and produced four paradoxes to show this. The most famous of these describes a race between Achilles and a tortoise. Since Achilles can run much faster than the tortoise, let us say twice as fast, the latter is allowed a head start of one mile. When Achilles has run one mile, the tortoise will have run half as far againâthat is, half a mile. When Achilles has covered that additional half-mile, the tortoise will have run a further quarter-mile. After n + 1 stages, Achilles has run
miles and the tortoise has run
miles, being still 1/2n + 1 miles ahead. So how can Achilles ever catch up with the tortoise ()?
Zenoâs paradoxes may also be interpreted as showing that space and time are not made up of discrete atoms but are substances which are infinitely divisible. Mathematically speaking, his argument involves the sum of the infinite geometric progression
no finite partial sum of which adds up to 2. As Aristotle would later say, this progression is only potentially infinite. It is now understood that Zeno was trying to come to grips with the notion of limit, which was not formally explained until the 19th century, although a start in that direction had been made by the French encyclopaedist Jean Le Rond dâAlembert (1717â83).