Wanted: Expert Mathematician/Programmer

If ontology is mathematics, then it follows that the simplest and clearest means of presenting being is with computer language. This could be done through the writing of a computer program wired with the laws of set theory. This program would be concerned with providing a mathmatical account of a given set of elements. This account would terminate with the production of a synthetic logic defining a particular problem, leading the user back to the dialectical line of ambivilance that is life.