My homepage | My math page | My math news (old archive, old archive in RSS) | Donate for the research
2005-06-25 20:05
NEW axiomatic theory, Theory of Formulas (see here). This new theory is as fundamental as Group Theory! Research of formulas themselves is what mathematicians have missed... [More...]
I discovered a new axiomatic theory (Operator Theory of Formulas or Operator Theory of Expressions) which is as fundamental as e.g. Group Theory! (See my math logic page.)
Great omission had mathematicians, thoroughly researching anything except of formulas themselves! Now this omission is corrected, there is axiomatic Theory of Formulas.
Operator Theory of Formulas is the common axiomatic for different representations of expressions (n-ary trees, binary trees, lists of lists etc.) It also describes infinite formulas.
Moreover this theory describes anything what has indexed parts.
You can find the online article in both HTML and PDF formats here. (The article consists of two parts, and as of 25 Jul 2005 only the first part is nearly final draft, the second part is not a ready document yet.)
Using Operator Theory of Formulas will much simplify proving math logic theorems. It will be used in symbolic algebra as well as in many other fields of mathematics.
Certainly this new theory should be added to the University program at very least in math faculties.
The research is coordinated with an online system and you can help to create the complete studybook (as well as software).
Please add a link to the online article with Formulas Theory to your collections of math related Web links.
See here.
P.S. Big news for mass media, by the way!
Related categories:
Keywords: axiomatic theory, new math theory, new mathematical theory, axiomatic theory, math logic, math logics, mathematical logic, mathematical logics, foundations of math, foundations of mathematics, math foundations, math discovery announce, mathematical discovery announce, math news, announce of math discovery, announce of mathematical discovery, scientific discovery announce, mathematical news, announce of scientific discovery, math news, mathematical news, mathematics, math, mathematicians, math logic, math logics, mathematical logic, mathematical logics, science news, science
News listing generated with Rich RSS2HTML TM 0.2.1 (original).