System to represent objects in Mathematics

Click For Summary
SUMMARY

The discussion centers on the systems mathematicians use to communicate complex ideas, specifically focusing on Category Theory and Set Theory. Category Theory represents the highest level of abstraction, while Set Theory provides a more detailed framework for discussing mathematical concepts. The conversation highlights the lack of a universally accepted formal system for mathematical communication, contrasting it with the structured methodologies used in programming, such as Flow Charts and UML diagrams. Participants emphasize the importance of precise definitions and the role of logic in mathematics, suggesting that understanding these theories is crucial for effective communication among mathematicians.

PREREQUISITES
  • Understanding of Category Theory and its applications
  • Familiarity with Set Theory and its foundational concepts
  • Knowledge of mathematical logic and proof techniques
  • Basic understanding of formal languages in mathematics
NEXT STEPS
  • Study the principles of Category Theory through resources like the Wikipedia page on Category Theory
  • Explore the foundational aspects of Set Theory and its applications in mathematics
  • Learn about formal languages and their role in mathematical communication
  • Investigate the APL programming language as a system for mathematical notation
USEFUL FOR

Mathematicians, educators, and students interested in enhancing their understanding of mathematical communication and abstraction, as well as anyone looking to bridge the gap between programming methodologies and mathematical theories.

  • #31
Mark44 said:
Based on some of your recent threads, you are not very far along in your mathematics studies.
Fortunately, @pairofstrings has given us his level of education (working on undergrad) in his profile. I really appreciate that. So many do not give any information. I would say that it is time for him to start including as many math classes as possible before he graduates.
 
Physics news on Phys.org
  • #32
FactChecker said:
I would say that it is time for him to start including as many math classes as possible before he graduates.
Strongly agree.
 
  • Like
Likes   Reactions: FactChecker
  • #33
fresh_42 said:
##\mathcal{C}=\{\,(x,y)\in \mathbb{R}\,|\,x^2+y^2-1=0\,\}##

In the above, it should be ##(x,y)\in \mathbb{R}^2##.
 
  • #34
Okay. I want to be able to write equations and I am working towards it.

Thanks everyone.
 
Last edited:
  • #35
jonk75 said:
In the above, it should be ##(x,y)\in \mathbb{R}^2##.
Indeed. I corrected it, thank you.
 
  • Like
Likes   Reactions: jonk75
  • #36
pairofstrings said:
Okay. I want to be able to write equations and I am working towards it.
Which has nothing as far as I can see with what you said at the start of this thread:
pairofstrings said:
Usually, Computer Programmers use Flow Charts, Algorithms, or UML diagrams to build a great software or system. In the same manner, in Mathematics, what do Mathematicians use to build a great system that they want to build.
 
  • #37
pairofstrings said:
Okay. I want to be able to write equations and I am working towards it.
An important ingredient for writing something down is having something to say. If one has something to say and lacks a notation in which to say it elegantly, then it is time to worry about inventing notation.
 
  • Like
Likes   Reactions: FactChecker
  • #38
pairofstrings said:
In short, I want to know the System in Mathematics that let's me communicate my ideas with other mathematicians.
If you want to communicate with other mathematicians, the first thing to do is to read their work and learn whatever is necessary to understand what they are saying. Don't expect millions of others to learn your system rather than you learning their standard, common language.
 
  • #39
FactChecker said:
Don't expect millions of others to learn your system rather than you learning their standard, common language.
And this existing language is the reason why we can talk here on PF literally around the globe. Physicists and mathematicians don't have the least difficulties to cooperate, at least no scientific obstacles. English is only the carrier wave, the messages are written in mathematics and everybody can understand them, regardless of any cultural background. Set theory, predicate logic and arithmetic must be quite strong tools already.
 
  • Like
Likes   Reactions: FactChecker

Similar threads

  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 14 ·
Replies
14
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
628
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 50 ·
2
Replies
50
Views
4K
  • · Replies 102 ·
4
Replies
102
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K