My homepage | My math page | My math news (old archive, old archive in RSS) | Donate for the research
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.
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.
It is a revolutionary mathematical software (automatic theorem prover, symbolic algebra etc.) based on a new mathematical method (not on axiomatic method of 20 century as before). The name of the new method is 21 Century Math Method TM (21MMTM).
The mathematics goes a step higher after the previous steps such as axiomatic method and algebra.
At the same time, this software is also a revolutionary high reliability programming technology giving programmers full power of mathematics (!). The software will prove its own correctness, compilers will do complex math operations etc.
That is it is a fantastic project but it is real!
But on current stage of the project developers don't need special knowledge of mathematics to participate. You only need good knowledge of Ada95.
This is a noncommercial project, but you indeed may receive a big profit from it in the future when it will be wide spread, because I will place links to your Web sites from the project site, and you will receive an increase of traffic. Remember it is a truly fantastic project which is real, project site is expected to have huge traffic, because it is an important project.
The software will be released under GPL and (new) BSD licenses. This project must be worked to be free because the mathematics itself must be free. All countries and people in the World are to have it on equal conditions, it is essential for real World freedom and wellness, as this project in the foundation of mathematics is a new foundation of the World.
If you want to participate, send me a email. Then I will give you write permissions for the project's CVS at SourceForge.
See project homepage about the development of the project, project requirements, and proposed implementation. See also project page at SourceForge.
P.S. Please donate for this truly free with no catch noncommercial project. The technological level in coming decades depends on this project.
Related categories:
Keywords: software developer wanted, wanted software developer, programmer wanted, wanted programmer, volunteer, open source software project, open source project, free software, symbolic algebra software, math software, mathematical software, logical software, logic software, logics software, math logic software, math logics software, mathematical logic software, mathematical logics software, automatic theorem prover, autoprover, software development, Ada, Ada95, Ada 95, object oriented, programmers, software developers, mathematics, math, mathematicians, open source, free software, Ada, Ada95, Ada 95
News listing generated with Rich RSS2HTML TM 0.2.1 (original).