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.
idea creator
Mdnahas
researcher
Papykabi
join
endorse
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

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

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.

Expand into an Individual Engagement Grant
Expand into a Project and Event Grant