My homepage | My math page | My math news (old archive, old archive in RSS) | Donate for the research
Algebraic General Topology and Math Synthesis replace old math analysis. A new 21st century math method replaces axiomatic method by a new definitions based formalistic. A new kind of symbolic algebra software for automatic theorem proving etc. (free).
2005-08-01 19:19
Category of dependencies article updated. Main difference is that introduced universal properties and universal objects like these in category theory. This seems to be a new foundation for category theory and universal algebra!
2005-07-30 12:00
Main theorem about category of dependencies proved!
2005-07-19 11:31
Category theory news - described category of classes and objects
.
2005-07-17 05:53
Released version 0.3 of Math XSLT Stylesheets - write math articles in XHTML based format. See also this blog message.
2005-07-15 13:10
Released version 0.2 of Math XSLT Stylesheets - write math articles in XHTML based format.
2005-07-15 13:10
How wonderful can be simple things! All mathematics can be expressed in partial binary relations (sets of triples). Theory of formulas.
2005-07-07 07:12
Started new mathematical journal, Journal of post-Axiomatic Mathematics and Logic.
2005-07-07 01:09
I developed an algebraic theory of formulas. The next stage is to find the higher order algebra of transformations of formulas.
2005-07-05 17:52
Updated the draft of online article
Axiomatic Theory of Formulas.
The main difference is that now the model supports expressions
with multiple null symbols.
This mathematical theory became more symmetric and beautiful.
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...]
2005-06-25 19:58
alt.math.post-axiomatic - new newsgroup about development of 21 century post-axiomatic mathematics.
2005-05-10 15:34
Solve a (probably) simple but important mathematical problem I formulated. Yet unsolved by myself... It is related to the formalized concept of generalization, which before was a philosophical issue but now is a formal mathematical problem.
2005-05-05 16:23
Ada 95 programmers for an important (non-commercal) open source project wanted. This mathematical soft is probably the most important software project in the new century.
News listing generated with Rich RSS2HTML TM 0.2.1 (original).