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.
Hex icon with lightning white.svg
idea creator
Hex icon with flask white.svg
created on14:29, Sunday, March 27, 2016 (UTC)

Project ideaEdit

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 goalsEdit

Get involvedEdit


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


  • 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 ideaEdit

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