My homepage | My math page | My math news (old archive, old archive in RSS) | Donate for the research
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.
How wonderful can be simple things! All mathematics can be expressed in partial binary relations (sets of triples).
In the new draft of my theory of formulas, a system of formulas is modeled simply as partial binary relation (or equivalently a set of triples).
Relations between formulas are expressed as compositions and projections of these relations.
All mathematics is expressible with formulas (expressions). So all mathematics is triples. (BTW, isn't it exactly trinity of God? Maybe, Father is the base, Son is the index, and Holy Spirit is the result; or maybe Son is the result, and Holy Spirit is the index... I don't know, I just guess.)
This wonderfully simple and beautiful theory of formulas shall very much simplify math logic and computer science.
Related categories:
Keywords: mathematics, math, beautiful theory, elegant theory, mathematical beautify, partial binary relation, partial binary relations, triples, sets of triples, foundations of math, foundations of mathematics, math foundations, math news, mathematical news, mathematics, math, mathematicians, science news, science
News listing generated with Rich RSS2HTML TM 0.2.1 (original).