# Grants:IdeaLab/Formal Mathematics

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.

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]

### 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.