Grants:IdeaLab/Formal Mathematics

Inspire campaign

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.

idea creator• Mdnahas

researcher• Papykabi

created on14:29, Sunday, March 27, 2016 (UTC)

Project idea

What is the problem you're trying to solve?

Math has a structure that is not currently being captured by Wikipedia.

What is your solution?

Come up with a format for recording computations and proofs in a formal context. Add services to check that the math shown is correct.

Get involved

Participants

• Researcher parce que math utilise la formule Papykabi (talk) 19:16, 6 June 2016 (UTC)

Endorsements

• 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

Would a grant from the Wikimedia Foundation help make your idea happen? You can expand this idea into a grant proposal.

Expand into an Individual Engagement Grant

Expand into a Project and Event Grant