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