Grants:IdeaLab/Formal Mathematics
Formal Mathematics
Math has a language and a logic of its own. Right now, Wikipedia uses equations and proofs that are meant for human consumption. Putting those into a format with computational meaning will allow verification, better searches, and new uses. It will also make the math more easy to translate to new lagnuages.
created on14:29, Sunday, March 27, 2016 (UTC)
Project idea[edit]
What is the problem you're trying to solve?[edit]
Math has a structure that is not currently being captured by Wikipedia.
What is your solution?[edit]
Come up with a format for recording computations and proofs in a formal context. Add services to check that the math shown is correct.
Project goals[edit]
Get involved[edit]
Participants[edit]
Endorsements[edit]
- j ai trouvé mathématique comme logique informatique Papykabi (talk) 19:12, 6 June 2016 (UTC)
- As a mathematician and programmer, it is clear such problems in Wikipedia. Webysther (talk) 21:31, 23 June 2016 (UTC)
Expand your idea[edit]
Would a grant from the Wikimedia Foundation help make your idea happen? You can expand this idea into a grant proposal.