A group of mathematicians and computer scientists are developing a new tool that could prove that any object is valid.
The proof, described by the researchers as a “mathematical algorithm” that could “validate any arbitrary geometric construct”, would allow a user to verify that any geometric object is consistent with its definition in the mathematical book, the New York Times reports.
This could help solve a variety of issues that arise when it comes to the way in which the construction of any geometric structure is represented in popular media.
According to the researchers, the algorithm can prove that “any geometric object can be constructed using a single definition, such as the definition of a square, as long as the object is defined in the book”.
The algorithm is able to do this because it “rejects the use of any additional definitions, such that the object must be defined by the same geometric form as the geometric form of its referent”.
The proof is a mathematical “language” that is able “to validate arbitrary geometric structures”, according to the Times.
In this case, the proof is not a mathematical proof, but rather a mathematical one that “does not require the existence of any particular mathematical formalism”, the paper said.
The algorithm has been described in the scientific journal Proceedings of the National Academy of Sciences, the paper states.
The researchers say they will use their algorithm to validate “nearly any geometric construct” in the “mathematic language” that the authors describe.
“We are interested in proving the validity of any arbitrary geometry, from any point in space, without resorting to any particular formal theory,” they said.
This is not the first time the mathematical proof has been used to support the validity or otherwise of geometric structures.
In 2012, the Mathematical Association of America, the largest professional organization of mathematic, scientific and engineering professionals in the US, announced it would be awarding $100,000 to anyone who could prove the validity and/or existence of an object.
The announcement was made just days after the announcement of a new study that was published in the Journal of Mathematical and Computer Science.