Thursday, July 14, 2016

Encyclopedia of Proof Systems

Some people have decided that there are so many different and interesting logics or proof systems in the world right now that it is worth having an encyclopedia where the entries are summarized versions of those logic systems.

They've created an open source project in GitHub that is not completely user driven. There is a manager, Bruno Woltzenlogel Paleo. Together with some friends, we are hoping to help  create the Encyclopedia of Logical Systems. Gentzen is the source of inspiration for this encyclopedia.

From the readme:
This is a collaborative and open Encyclopedia of Proof Systems. If you would like to contribute, please check the submission instructions.
 
(picture of David Hilbert, who had the original idea that proofs should be investigated as mathematical objects on their own)

No comments:

Post a Comment