Grants:IdeaLab/Formal Mathematics

From Meta, a Wikimedia project coordination wiki
Jump to navigation Jump to search
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 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]


  • 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 idea[edit]

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