|IDEA BY:||Jesse Wright||LOCATION:||Other||CATEGORY:||Technology|
|IDEA BY:||Jesse Wright|
This website has the potential to revolutionise the study of pure mathematics. It is time to move away from the old-fashioned presentation of mathematical theorems in published papers and create a central online location that is globally accepted as the place where all mathematical proofs should be uploaded. There are several core features which would make it the ideal place for collaborating on, publishing, reviewing and viewing proofs. - It provides accountability: By ensuring that all components of uploaded proofs are hyperlinked to the proofs or axioms on which they rely, there is an automated process ensuring that there are no gaps which a proof relies on. It also saves reviewers time, as they do not have to check that any other theorems mentioned in a paper are true. In the rare event that a conjecture, thought to be proved true, is proved to be false, there is also an immediate response within the system where all proofs which may rely on the incorrect conjecture are identified so that they can be proven by other means or alternatively disproved. - Makes it easier to access proofs: With all of the proofs in a single location, it makes it easier to search for any proof. It also makes it easier to explore some of the more basic proofs and basic axioms due to direct hyperlinks. This makes it a valuable tool for researchers and a precious resource for educators and students alike. Inbuilt review system: An automated process will check for basic algebraic errors and incorrect hyperlinks and alert you live. Once you submit a proof, it will be sent to several moderators ranging from general public figures to mathematics professors who ensure that the proof is error free before it is uploaded to the website.