Does set theory serve as the foundation of ALL math?

In summary: Set theory can serve as a foundation for mathematics and the axioms it satisfies are more important than the specific foundations used.
  • #1
thetaobums
13
0
What, if anything, does set theory have to do with integrating x^2 or finding the center of symmetry for a polygon?
 
Mathematics news on Phys.org
  • #2
Set theory can serve as the foundation of all math. That does not mean it HAS TO.

As long as you start with a group of entities that satisfy the Peano Axioms, you are set to construct the whole mathematics as we know it. Sets are one way to construct this group of entities. There are, indeed, other methods possible.

No matter what foundation you take as a starting point, if it satisfies the Peano Axioms, the mathematics you will arrive at will be pretty much like the one we use now. This means the foundation of mathematics is not that important compared to the axioms it satisfies. Same axioms mean same mathematics, even if the foundations are different.
 
  • #3
Before you can have functions on numbers, like [itex]f(x)= x^2[/itex], you first must have numbers. And while, as millenial said, it is not NECESSARY to use sets, a good definition of "real numbers" is as certain sets of rational numbers ("Dedekind cuts"), a good definition of rational numbers is as equivalence classes of integers, under a certain equivalence relation, a good definition of integers is as equivalence classes of whole numbers, under a certain equivalence relation, and a good definition of whole numbers is as sets: 0 is the empty set, {}, 1 is the set whose only member is the empty set, {{}}, 2 is the set whose only members are 0 and 1, {0, 1}= {{},{{}}}, etc.

It is not necessary to use sets, but they are a good "organizing principle".
In any case, one seldom refers to this when 'applying' mathematics. It is rather a matter of the logical foundation of mathematics.
 
  • #4
HallsofIvy said:
a good definition of whole numbers is as sets: 0 is the empty set, {}, 1 is the set whose only member is the empty set, {{}}, 2 is the set whose only members are 0 and 1, {0, 1}= {{},{{}}}, etc.

I read that in Devlin's The Langauge of Mathematics. He said that was "very clever." Being young in mathematics, I thought that was beyond clever. It blew my mind a little bit.

I'd suggest that book to anyone. I never thought I would read a mathematics book.
 
  • #5
thetaobums said:
What, if anything, does set theory have to do with integrating x^2 or finding the center of symmetry for a polygon?

Indefinite integration as an operation is a mapping between sets of functions (definite integration maps from sets of functions to the set of real numbers). The symmetries of a polygon are deeply related to group theory, which studies certain kinds of operations defined on sets.
 

FAQ: Does set theory serve as the foundation of ALL math?

What is set theory and how does it relate to math?

Set theory is a branch of mathematics that deals with the study of sets, which are collections of distinct objects. It serves as a foundation for all of math by providing a rigorous framework for defining mathematical concepts and relationships between them.

Why is set theory considered the foundation of all math?

Set theory is considered the foundation of all math because it provides the basis for defining and understanding mathematical concepts such as numbers, functions, and geometric shapes. It also allows for the development of mathematical logic and proofs, which are essential for building and expanding upon mathematical theories.

Are there any limitations to set theory as the foundation of math?

While set theory is a powerful and widely accepted foundation for math, it does have its limitations. For example, it does not account for the physical or applied aspects of math, such as engineering or physics. It also does not address certain mathematical concepts, such as infinity, in a satisfactory way.

How does set theory impact other branches of math?

Set theory has a significant impact on many other branches of math, such as algebra, calculus, and topology. It provides the language and tools for defining and manipulating mathematical objects and their relationships, allowing for the development of new theories and applications.

Can set theory be used outside of math?

While set theory is primarily used in mathematics, it has also found applications in other fields such as computer science, philosophy, and linguistics. Its concepts and principles can be applied to the study of any collection of objects or ideas, making it a versatile and powerful tool in various disciplines.

Similar threads

Replies
2
Views
1K
Replies
38
Views
3K
Replies
1
Views
1K
Replies
7
Views
1K
Replies
15
Views
2K
Replies
3
Views
2K
Replies
2
Views
790
Back
Top